Corpus for getsockopt$inet_int:

Coverage	Program
168	socket$inet_udp-getsockopt$inet_int
158	socket$inet_udp-getsockopt$inet_int
152	socket$inet_udp-getsockopt$inet_int
150	socket$inet_udp-getsockopt$inet_int
150	socket$inet_udp-getsockopt$inet_int
150	socket$inet_udp-getsockopt$inet_int
150	socket$inet_udp-getsockopt$inet_int
150	socket$inet_udp-getsockopt$inet_int
150	socket$inet_udp-getsockopt$inet_int
145	socket$inet_udp-getsockopt$inet_int
144	socket$inet_udp-getsockopt$inet_int
87	socket$inet_udp-getsockopt$inet_int