Corpus for getsockopt$inet6_udp_int:

Coverage	Program
842	perf_event_open-socket$inet6_udp-getsockopt$inet6_udp_int
387	mmap-socket$inet6_udplite-getsockopt$inet6_udp_int
94	socket$inet6_udplite-getsockopt$inet6_udp_int
81	socket$inet6_udp-getsockopt$inet6_udp_int
81	socket$inet6_udp-getsockopt$inet6_udp_int
67	socket$inet6_udplite-getsockopt$inet6_udp_int