Corpus for getsockopt$inet6_tcp_buf:

Coverage	Program
338	socket$inet6_tcp-getsockopt$inet6_tcp_buf
122	socket$inet6_tcp-getsockopt$inet6_tcp_buf
90	socket$inet6_tcp-getsockopt$inet6_tcp_buf