Corpus for getsockopt$inet_int:

Coverage	Program
1200	perf_event_open-socket$inet-getsockopt$inet_int
524	pkey_mprotect-socket$inet_udp-getsockopt$inet_int
159	socket$inet_udplite-getsockopt$inet_int
154	perf_event_open-socket$inet_udp-getsockopt$inet_int
131	socket$inet_tcp-getsockopt$inet_int
130	socket$inet_udp-getsockopt$inet_int
123	socket$inet-getsockopt$inet_int
123	socket$inet-getsockopt$inet_int
123	socket$inet_tcp-getsockopt$inet_int