Corpus for getsockopt$sock_int:

Coverage	Program
202	socket$inet6_udp-getsockopt$sock_int
151	socket$inet6_udp-getsockopt$sock_int
150	socket$inet6_udp-getsockopt$sock_int
148	socket$inet6_udp-getsockopt$sock_int
147	socket$inet6_udp-getsockopt$sock_int
144	socket$inet6_udp-getsockopt$sock_int
136	socket$inet6_udp-getsockopt$sock_int
131	socket$inet6_udp-getsockopt$sock_int
129	socket$inet6_udp-getsockopt$sock_int
129	socket$inet6_udp-getsockopt$sock_int
129	socket$inet6_udp-getsockopt$sock_int
128	setsockopt$inet6_IPV6_RTHDRDSTOPTS-perf_event_open-preadv-socket$inet6_udp-getsockopt$sock_int
127	socket$inet6_udp-getsockopt$sock_int
127	socket$inet6_udp-getsockopt$sock_int
127	socket$inet6_udp-getsockopt$sock_int
127	socket$inet6_udp-getsockopt$sock_int
126	socket$inet_udplite-getsockopt$sock_int
126	socket$nl_xfrm-getsockopt$sock_int
122	socket$inet6_udp-getsockopt$sock_int
122	socket$inet6_udp-getsockopt$sock_int
121	perf_event_open-perf_event_open-bind$inet6-open-writev-sendmsg$TIPC_CMD_SET_LINK_TOL-setsockopt$inet6_tcp_int-connect$inet6-openat-fcntl$getown-lseek-socket$inet6_udp-getsockopt$sock_int
119	socket$inet6_udp-getsockopt$sock_int
119	socket$inet6_udp-getsockopt$sock_int
118	socket$inet6_udp-getsockopt$sock_int
118	socket$inet6_udp-getsockopt$sock_int
118	socket$inet6_udp-getsockopt$sock_int
118	socket$inet6_udp-getsockopt$sock_int
118	socket$inet6_udp-getsockopt$sock_int
118	socket$inet6_udp-getsockopt$sock_int
118	socket$inet6_udp-getsockopt$sock_int
118	socket$inet6_udp-getsockopt$sock_int
118	socket$inet6_udp-getsockopt$sock_int
118	socket$inet6_udp-getsockopt$sock_int
118	socket$inet6_udp-getsockopt$sock_int
118	socket$inet6_udp-getsockopt$sock_int
118	socket$inet6_udp-getsockopt$sock_int
118	socketpair$nbd-getsockopt$sock_int
111	socket$inet6_udp-getsockopt$sock_int
104	socket$inet6_udp-getsockopt$sock_int
101	socket$packet-getsockopt$sock_int
98	socket$inet_tcp-getsockopt$sock_int
96	socket$inet6_udp-getsockopt$sock_int