Corpus for getsockopt$inet_buf:
Coverage
Program
138
socket$inet_udplite-getsockopt$inet_buf