Corpus for sendto$inet6:

Coverage	Program
1263	socket$inet6_udplite-setsockopt$inet6_IPV6_RTHDR-sendto$inet6
1199	socket$inet6_udplite-setsockopt$inet6_IPV6_RTHDR-sendto$inet6
805	socket$inet6_udp-connect$inet6-ioctl$int_in-sendto$inet6
156	socket$inet6_tcp-sendto$inet6