Corpus for getsockname$inet:
Coverage
Program
90
socket$inet-connect$inet-getsockname$inet
88
socket$inet_udplite-getsockname$inet