Corpus for getsockopt$inet_tcp_int:

Coverage	Program
135	socket$inet_tcp-getsockopt$inet_tcp_int
116	socket$inet_tcp-getsockopt$inet_tcp_int
106	socket$inet_tcp-getsockopt$inet_tcp_int
105	socket$inet_tcp-getsockopt$inet_tcp_int
101	socket$inet_tcp-getsockopt$inet_tcp_int