Corpus for getsockopt$inet6_udp_int:

Coverage	Program
384	mmap-socket$inet6_udplite-getsockopt$inet6_udp_int
116	perf_event_open-socket$inet6_udplite-getsockopt$inet6_udp_int
90	socket$inet6_udp-getsockopt$inet6_udp_int
90	socket$inet6_udplite-getsockopt$inet6_udp_int
81	socket$inet6_udplite-getsockopt$inet6_udp_int
81	socket$inet6_udplite-getsockopt$inet6_udp_int
67	socket$inet6_udp-getsockopt$inet6_udp_int