memModel Simulates a hard disk, memory, and page table system, with journaling, program status recording, and disk error detection in the case of a crash. For details, please see the ABOUT file.