The grammar for the lexical analysis contains: EndOfFile: physical end of the file \u0000 \u001A I don't understand, what's a \u001A? Substitution? How does that work? Wouldn't you want something like \u0019, end of medium?