Corpus for getsockopt$inet6_udp_int:

Coverage	Program
2268	ioctl$TCSETSF2-openat$tun-ioctl$TUNSETQUEUE-syz_open_dev$tty20-flock-ioctl$TUNSETQUEUE-io_uring_setup-socket$inet6_icmp_raw-bind$packet-syz_io_uring_submit-ioctl$TUNSETQUEUE-socket$inet6_udplite-syz_io_uring_submit-io_uring_register$IORING_REGISTER_PERSONALITY-syz_io_uring_submit-socket$inet-perf_event_open-getsockopt$inet6_udp_int-dup3
114	socket$inet6_udp-getsockopt$inet6_udp_int
106	socket$inet6_udplite-getsockopt$inet6_udp_int
89	socket$inet6_udplite-getsockopt$inet6_udp_int
87	socket$inet6_udplite-getsockopt$inet6_udp_int