Corpus for setsockopt$inet_tcp_int:

Coverage	Program