Corpus for getsockopt$inet_udp_int:
Coverage
Program
115
socket$inet_udp-getsockopt$inet_udp_int