Corpus for getsockopt$inet6_int:

Coverage	Program
147	socket$inet6_tcp-fcntl$setstatus-connect$inet6-getsockopt$inet6_int
143	socket$inet6_udplite-dup-connect$inet6-getsockopt$inet6_int
141	socket$inet6_udp-getsockopt$inet6_int
130	socket$inet6_tcp-getsockopt$inet6_int
108	socket$inet6_udp-getsockopt$inet6_int
107	socket$inet6_udplite-dup-getsockopt$inet6_int
98	socket$inet6_udp-getsockopt$inet6_int