Corpus for getsockopt$inet_int:

Coverage	Program
3020	socket$inet_tcp-openat-mmap-getsockopt$inet_int
792	socket$inet_tcp-getsockopt$inet_int
148	socket$inet_tcp-getsockopt$inet_int
140	socket$inet_tcp-getsockopt$inet_int
132	socket$inet_tcp-getsockopt$inet_int