Corpus for getsockopt$sock_int:

Coverage	Program
173	socket$nl_netfilter-getsockopt$sock_int
140	syz_init_net_socket$802154_dgram-getsockopt$sock_int
126	socket$netlink-getsockopt$sock_int
122	socket$netlink-getsockopt$sock_int
119	socketpair$nbd-getsockopt$sock_int
118	socket$inet6_tcp-getsockopt$sock_int
118	syz_init_net_socket$802154_dgram-getsockopt$sock_int
97	socket$nl_netfilter-getsockopt$sock_int