Corpus for ioctl$EXT4_IOC_GETSTATE:

Coverage	Program