Corpus for setsockopt$inet6_tcp_buf:

Coverage	Program