Corpus for setsockopt$inet_tcp_buf:

Coverage	Program