Corpus for getsockopt$sock_int:

Coverage	Program
113	socket$inet6_icmp_raw-getsockopt$sock_int
108	seccomp$SECCOMP_SET_MODE_FILTER_LISTENER-socket$inet6_tcp-getsockopt$sock_int
100	socket$nl_xfrm-getsockopt$sock_int
97	socket$nl_netfilter-getsockopt$sock_int
97	socketpair$nbd-getsockopt$sock_int
97	socketpair$nbd-getsockopt$sock_int
96	socket$inet6_tcp-getsockopt$sock_int
94	socket$inet6_tcp-getsockopt$sock_int
94	socket$inet_tcp-getsockopt$sock_int
94	socket$nl_generic-getsockopt$sock_int
94	socket$nl_generic-getsockopt$sock_int
94	socket$nl_generic-getsockopt$sock_int
94	socket$nl_xfrm-getsockopt$sock_int
94	socketpair$unix-getsockopt$sock_int
94	socketpair$unix-getsockopt$sock_int
81	socket$inet6_tcp-getsockopt$sock_int
81	syz_init_net_socket$802154_dgram-getsockopt$sock_int
81	syz_init_net_socket$802154_dgram-getsockopt$sock_int
79	socket$inet6_icmp_raw-getsockopt$sock_int
78	socket$inet6_icmp_raw-getsockopt$sock_int