Corpus for getsockopt$inet6_udp_int:

Coverage	Program
1182	signalfd4-ioctl$FS_IOC_GETVERSION-pread64-ioctl$EVIOCGBITSW-socket$inet6_udplite-getsockopt$inet6_udp_int-fork-getpgid-recvmmsg$unix-clone3-ioctl$sock_ipv6_tunnel_SIOCGETPRL-ioctl$BTRFS_IOC_START_SYNC
115	socket$inet6_udp-getsockopt$inet6_udp_int
115	socket$inet6_udplite-getsockopt$inet6_udp_int
115	socket$inet6_udplite-getsockopt$inet6_udp_int
107	socket$inet6_udp-getsockopt$inet6_udp_int
50	getsockopt$inet6_udp_int