Corpus for sendto$inet6:

Coverage	Program
1904	socket$inet6_udp-setsockopt$inet6_udp_int-sendto$inet6
1325	socket$inet6_udp-setsockopt$inet6_udp_int-sendto$inet6
978	socket$inet6_tcp-setsockopt$inet6_tcp_TCP_REPAIR-connect$inet6-shutdown-sendto$inet6
933	socket$inet6_udp-setsockopt$inet6_udp_int-sendto$inet6
780	socket$inet6-sendto$inet6
618	socket$inet6_udp-sendto$inet6