Corpus for getsockopt$inet_tcp_int:

Coverage	Program
781	socket$inet_tcp-getsockopt$inet_tcp_int
117	socket$inet_tcp-getsockopt$inet_tcp_int
115	socket$inet_tcp-getsockopt$inet_tcp_int
109	socket$inet_tcp-getsockopt$inet_tcp_int
107	socket$inet_tcp-getsockopt$inet_tcp_int
107	socket$inet_tcp-getsockopt$inet_tcp_int
107	socket$inet_tcp-getsockopt$inet_tcp_int
107	socket$inet_tcp-getsockopt$inet_tcp_int