Corpus for getsockopt$inet_int:

Coverage	Program
157	socket$inet_icmp_raw-getsockopt$inet_int
151	socket$inet_icmp_raw-getsockopt$inet_int
149	socket$inet_icmp_raw-getsockopt$inet_int
149	socket$inet_icmp_raw-getsockopt$inet_int
149	socket$inet_icmp_raw-getsockopt$inet_int
140	socket$inet_tcp-getsockopt$inet_int
140	socket$inet_udplite-getsockopt$inet_int
139	socket$inet_udplite-getsockopt$inet_int
139	socket$inet_udplite-getsockopt$inet_int
138	socket$inet_udplite-getsockopt$inet_int
138	socket$inet_udplite-getsockopt$inet_int