Corpus for sendto$inet6:

Coverage	Program
1754	socket$inet6_udp-setsockopt$SO_TIMESTAMPING-setsockopt$inet6_udp_int-sendto$inet6
1461	socket$inet6_udp-setsockopt$inet6_udp_int-sendto$inet6
1172	socket$inet6_udp-setsockopt$inet6_udp_int-sendto$inet6
1057	socket$inet6_udp-setsockopt$inet6_udp_int-sendto$inet6
946	socket$inet6_udp-setsockopt$SO_TIMESTAMPING-sendto$inet6
795	socket$inet6_udp-sendto$inet6
707	socket$inet6_udp-setsockopt$inet6_udp_int-setsockopt$inet6_udp_int-sendto$inet6
556	socket$inet6_udp-sendto$inet6
108	socket$inet6-sendto$inet6