Corpus for setsockopt$inet6_udp_int:

Coverage	Program
554	socket$inet6_udp-setsockopt$inet6_udp_int-connect$inet6-sendmmsg$inet6
301	socket$inet6_udplite-setsockopt$inet6_udp_int
184	socket$inet6_udp-setsockopt$inet6_udp_int
142	socket$inet6_udp-setsockopt$inet6_udp_int
113	socket$inet6_udplite-setsockopt$inet6_udp_int
112	socket$inet6_udplite-setsockopt$inet6_udp_int
109	openat$nvram-perf_event_open-fallocate-socket$inet6_udp-setsockopt$inet6_udp_int-connect$inet6-setsockopt$inet6_udp_int
108	socket$inet6_udp-setsockopt$inet6_udp_int
108	socket$inet6_udp-setsockopt$inet6_udp_int
108	socket$inet6_udplite-setsockopt$inet6_udp_int
89	socket$inet6_udplite-setsockopt$inet6_udp_int
52	openat$nvram-openat-perf_event_open-clock_gettime-fallocate-socket$inet6_udp-sendmsg$AUDIT_TTY_SET-setsockopt$inet6_udp_int-fstat-ioctl$BTRFS_IOC_INO_LOOKUP_USER-connect$inet6-sendmmsg$inet6