Corpus for ioctl$VT_DISALLOCATE:
Coverage
Program