Corpus for getsockname$inet6:
Coverage
Program
100
socket$inet6_udp-connect$inet6-getsockname$inet6