Corpus for sendto$inet:
Coverage
Program
777
socket$inet_udp-sendto$inet