Corpus for getsockopt$sock_int:

Coverage	Program