Corpus for getsockopt$inet_int:

Coverage	Program
215	socket$inet_tcp-getsockopt$inet_int
169	socket$inet_tcp-getsockopt$inet_int
159	socket$inet_icmp_raw-getsockopt$inet_int
148	socket$inet_tcp-getsockopt$inet_int
140	socket$inet_tcp-getsockopt$inet_int
140	socket$inet_tcp-getsockopt$inet_int
140	socket$inet_tcp-getsockopt$inet_int
140	socket$inet_tcp-getsockopt$inet_int
132	socket$inet_tcp-getsockopt$inet_int