Corpus for getsockopt$inet_int:

Coverage	Program
1036	io_setup-openat$cgroup_int-socket$inet_tcp-getsockopt$inet_int-socket$nl_route-syz_io_uring_setup-perf_event_open-dup2-openat$snapshot
828	socket$inet_tcp-getsockopt$inet_int
587	openat-close-socket$inet_udp-connect$inet-getsockopt$inet_int
130	socket$inet_udp-getsockopt$inet_int
111	prctl$PR_SET_SYSCALL_USER_DISPATCH_ON-socket$inet_udp-getsockopt$inet_int
109	socket$inet_tcp-getsockopt$inet_int
109	socket$inet_tcp-getsockopt$inet_int
109	socket$inet_udp-getsockopt$inet_int
109	socket$inet_udp-getsockopt$inet_int
109	socket$inet_udp-getsockopt$inet_int
109	socket$inet_udp-getsockopt$inet_int
109	socket$inet_udp-getsockopt$inet_int
109	socket$inet_udp-getsockopt$inet_int
109	socket$inet_udp-getsockopt$inet_int
109	socket$inet_udp-getsockopt$inet_int