Corpus for getsockopt$inet_int:

Coverage	Program
566	openat-close-socket$inet_udp-connect$inet-getsockopt$inet_int
112	socket$inet_tcp-getsockopt$inet_int
111	socket$inet_udp-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_udp-getsockopt$inet_int
108	socket$inet_udplite-getsockopt$inet_int
107	socket$inet_tcp-getsockopt$inet_int
107	socket$inet_tcp-getsockopt$inet_int