Corpus for getsockopt$inet6_tcp_int:

Coverage	Program