Corpus for getsockopt$inet_tcp_int:

Coverage	Program
135	socket$inet_tcp-getsockopt$inet_tcp_int
122	socket$inet_tcp-getsockopt$inet_tcp_int
113	socket$inet_tcp-getsockopt$inet_tcp_int
103	socket$inet_tcp-getsockopt$inet_tcp_int
102	socket$inet_tcp-getsockopt$inet_tcp_int
101	socket$inet_tcp-getsockopt$inet_tcp_int
87	socket$inet_tcp-getsockopt$inet_tcp_int
19	getsockopt$inet_tcp_int