Corpus for ioctl$BLKGETSIZE64:

Coverage	Program