Corpus for setsockopt$sock_int:

Coverage	Program