Corpus for sendto$inet6:

Coverage	Program
1184	socket$inet6_udplite-setsockopt$inet6_IPV6_RTHDR-sendto$inet6
1131	socket$inet6_udplite-setsockopt$inet6_IPV6_RTHDR-sendto$inet6
879	socket$inet6_udplite-sendto$inet6
636	socket$inet6_udplite-sendto$inet6
156	socket$inet6_tcp-sendto$inet6