Corpus for setsockopt$inet6_icmp_ICMP_FILTER:
Coverage Program