Corpus for setsockopt$inet6_udp_int:

Coverage	Program
2371	perf_event_open-clock_gettime-socket$inet6_udp-openat-ioctl$BTRFS_IOC_INO_LOOKUP_USER-connect$inet6-sendmmsg$inet6-setsockopt$inet6_udp_int-socket$inet_tcp
299	socket$inet6_udplite-setsockopt$inet6_udp_int
150	socket$inet6_udp-connect$inet6-connect$inet6-setsockopt$inet6_IPV6_ADDRFORM-setsockopt$inet6_udp_int
129	socket$inet6_udplite-setsockopt$inet6_udp_int
113	socket$inet6_udplite-setsockopt$inet6_udp_int
112	socket$inet6_udplite-setsockopt$inet6_udp_int
111	socket$inet6_udplite-setsockopt$inet6_udp_int
108	socket$inet6_udp-setsockopt$inet6_udp_int
108	socket$inet6_udp-setsockopt$inet6_udp_int