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