Corpus for getsockopt$inet6_int:

Coverage	Program
763	socket$inet6_udp-getsockopt$inet6_int
155	socket$inet6_tcp-getsockopt$inet6_int
130	socket$inet6_tcp-getsockopt$inet6_int
122	socket$inet6_udp-getsockopt$inet6_int
121	socket$inet6_udp-getsockopt$inet6_int
115	socket$inet6_udp-connect$inet6-getsockopt$inet6_int
114	socket$inet6_udp-getsockopt$inet6_int
113	socket$inet6_udplite-getsockopt$inet6_int
113	socket$inet6_udplite-getsockopt$inet6_int
113	socket$inet6_udplite-getsockopt$inet6_int
112	socket$inet6_tcp-getsockopt$inet6_int
108	socket$inet6_udplite-getsockopt$inet6_int
99	socket$inet6_tcp-getsockopt$inet6_int
99	socket$inet6_udplite-getsockopt$inet6_int