Corpus for getsockopt$inet_int:

Coverage	Program
114	socket$inet6_tcp-getsockopt$inet_int
111	socket$inet_udplite-getsockopt$inet_int
111	socket$inet_udplite-getsockopt$inet_int
110	socket$inet_tcp-getsockopt$inet_int
108	socket$inet_udp-getsockopt$inet_int
108	socket$inet_udplite-getsockopt$inet_int
91	socket$inet_tcp-getsockopt$inet_int