Corpus for getsockopt$inet_opts:

Coverage	Program
150	socket$inet_udp-getsockopt$inet_opts
133	socket$inet_udp-getsockopt$inet_opts