Corpus for getsockopt$inet_udp_int:

Coverage	Program
116	socket$inet_udp-getsockopt$inet_udp_int
115	socket$inet_udp-getsockopt$inet_udp_int
107	socket$inet_udp-getsockopt$inet_udp_int
89	socket$inet_udp-getsockopt$inet_udp_int
88	socket$inet_udp-getsockopt$inet_udp_int