Corpus for setsockopt$inet_udp_int:

Coverage	Program
123	socket$inet_udplite-setsockopt$inet_udp_int
112	socket$inet_udplite-setsockopt$inet_udp_int
111	socket$inet_udplite-setsockopt$inet_udp_int
111	socket$inet_udplite-setsockopt$inet_udp_int
107	socket$inet_udplite-setsockopt$inet_udp_int