Corpus for getsockopt$inet6_udp_int:

Coverage	Program