Corpus for getsockopt$inet_tcp_int:

Coverage	Program
761	socket$inet_tcp-getsockopt$inet_tcp_int
142	socket$inet_tcp-getsockopt$inet_tcp_int
103	socket$inet_tcp-getsockopt$inet_tcp_int
101	socket$inet_tcp-getsockopt$inet_tcp_int
101	socket$inet_tcp-getsockopt$inet_tcp_int
101	socket$inet_tcp-getsockopt$inet_tcp_int