Corpus for setsockopt$inet6_udp_int:

Coverage	Program
135	perf_event_open-socket$inet6_udp-setsockopt$inet6_udp_int
99	socket$inet6_udp-setsockopt$inet6_udp_int
80	socket$inet6_udplite-setsockopt$inet6_udp_int
78	socket$inet6_udplite-setsockopt$inet6_udp_int
77	socket$inet6_udplite-setsockopt$inet6_udp_int
75	socket$inet6_udp-setsockopt$inet6_udp_int
73	socket$inet6_udplite-setsockopt$inet6_udp_int
73	socket$inet6_udplite-setsockopt$inet6_udp_int
72	socket$inet6_udp-setsockopt$inet6_udp_int
71	socket$inet6_udp-setsockopt$inet6_udp_int
60	socket$inet6_udp-setsockopt$inet6_udp_int