Corpus for getsockopt$inet6_int:

Coverage	Program
968	perf_event_open-socket$inet6_udp-socket$inet6_udp-connect$inet6-dup2-getsockopt$inet6_int
143	socket$inet6_udp-connect$inet6-getsockopt$inet6_int
140	socket$inet6_udp-connect$inet6-getsockopt$inet6_int
135	socket$inet6_udp-getsockopt$inet6_int
129	socket$inet6-getsockopt$inet6_int
126	socket$inet6_udp-getsockopt$inet6_int
115	socket$inet6-getsockopt$inet6_int
114	socket$inet6-getsockopt$inet6_int
114	socket$inet6-getsockopt$inet6_int
114	socket$inet6_icmp_raw-getsockopt$inet6_int
113	socket$inet6_udp-getsockopt$inet6_int
107	socket$inet6-getsockopt$inet6_int
98	socket$inet6_udp-getsockopt$inet6_int