Corpus for getsockopt$inet_udp_int:

Coverage	Program
150	perf_event_open-socket$inet_udp-getsockopt$inet_udp_int
81	socket$inet_udp-getsockopt$inet_udp_int