Corpus for sendto$inet6:

Coverage	Program
1645	socket$inet6_udp-setsockopt$SO_TIMESTAMPING-setsockopt$inet6_udp_int-sendto$inet6
1593	socket$inet6_udp-setsockopt$inet6_udp_int-sendto$inet6
969	socket$inet6_udp-setsockopt$SO_TIMESTAMPING-sendto$inet6
964	socket$inet6_udp-setsockopt$inet6_udp_int-sendto$inet6
663	socket$inet6_udp-setsockopt$inet6_udp_int-setsockopt$inet6_udp_int-sendto$inet6
105	socket$inet6-sendto$inet6