Corpus for setsockopt$inet_tcp_int:
Coverage
Program
123
socket$inet_tcp-setsockopt$inet_tcp_int