class EndOfFileEncountered extends Exception {}