Corpus for ioctl$BLKDISCARD:
Coverage
Program