Corpus for getsockopt$inet_int:

Coverage	Program
112	socket$inet_tcp-getsockopt$inet_int
111	socket$inet_udplite-getsockopt$inet_int
108	socket$inet_udp-getsockopt$inet_int
107	socket$inet_tcp-getsockopt$inet_int
107	socket$inet_tcp-getsockopt$inet_int