Corpus for getsockopt$inet_udp_int:

Coverage	Program
115	socket$inet_udplite-getsockopt$inet_udp_int
90	socket$inet_udplite-getsockopt$inet_udp_int
89	socket$inet_udp-getsockopt$inet_udp_int