Corpus for getsockopt$SO_COOKIE:

Coverage	Program
135	socket$inet6_udp-getsockopt$SO_COOKIE
134	socket$inet6_tcp-getsockopt$SO_COOKIE
98	socket$inet6_udp-getsockopt$SO_COOKIE