Corpus for getsockopt$inet6_udp_int:

Coverage	Program
165	socket$inet6_udp-getsockopt$inet6_udp_int
116	socket$inet6_udp-getsockopt$inet6_udp_int
115	socket$inet6_udp-getsockopt$inet6_udp_int
107	socket$inet6_udp-getsockopt$inet6_udp_int