Corpus for getsockopt$inet6_udp_int:
Coverage
Program
140
perf_event_open-socket$inet6_udplite-getsockopt$inet6_udp_int
115
socket$inet6_udp-getsockopt$inet6_udp_int
88
socket$inet6_udplite-getsockopt$inet6_udp_int