Corpus for ioctl$MON_IOCX_GET:
Coverage
Program