Corpus for recvfrom$inet6:
Coverage
Program
80
socket$inet6_tcp-recvfrom$inet6