public class EndOfFileEncountered extends Exception {}