Corpus for getsockopt$SO_COOKIE:

Coverage	Program