Corpus for getsockopt$sock_int:

Coverage	Program
2046	syz_init_net_socket$802154_dgram-getsockopt$sock_int
2041	syz_init_net_socket$802154_dgram-getsockopt$sock_int
140	syz_init_net_socket$802154_dgram-getsockopt$sock_int
126	socket$inet6_tcp-getsockopt$sock_int
126	socket$inet6_tcp-getsockopt$sock_int
126	socket$nl_netfilter-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$inet_icmp_raw-getsockopt$sock_int
118	socket$inet_udp-getsockopt$sock_int
118	socket$packet-getsockopt$sock_int
118	syz_init_net_socket$802154_dgram-getsockopt$sock_int
118	syz_init_net_socket$802154_dgram-getsockopt$sock_int
118	syz_init_net_socket$802154_dgram-getsockopt$sock_int
98	socket$packet-getsockopt$sock_int