Corpus for ioctl$TUNDETACHFILTER:
Coverage
Program