Random file or text file?

Level 4: Random files. Paper 2 uses both. EOF and READFILE are the text file. SEEK and GETRECORD are the random file.