Corpus for getsockopt$inet6_int:

Coverage	Program
820	socket$inet6_tcp-getsockopt$inet6_int
165	socket$inet6_icmp_raw-getsockopt$inet6_int
141	socket$inet6_udp-getsockopt$inet6_int
116	socket$inet6_udplite-getsockopt$inet6_int
110	socket$inet6_icmp_raw-getsockopt$inet6_int
107	socket$inet6_icmp_raw-getsockopt$inet6_int
99	socket$inet6_tcp-fcntl$dupfd-getsockopt$inet6_int
82	socket$inet6_icmp_raw-getsockopt$inet6_int