Corpus for setsockopt$inet6_udp_int:

Coverage	Program
111	socket$inet6_udplite-setsockopt$inet6_udp_int
87	socket$inet6_udplite-setsockopt$inet6_udp_int
80	socket$inet6_udplite-setsockopt$inet6_udp_int
79	socket$inet6_udplite-setsockopt$inet6_udp_int
77	socket$inet6_udplite-setsockopt$inet6_udp_int
77	socket$inet6_udplite-setsockopt$inet6_udp_int
76	socket$inet6_udp-setsockopt$inet6_udp_int
73	socket$inet6_udplite-setsockopt$inet6_udp_int
72	socket$inet6_udp-setsockopt$inet6_udp_int