QuickCheck: Is it true that floppy disks are still in use? | The Star