protected internal virtual ATN ReadATN() { ATNType grammarType = (ATNType)ReadInt(); int maxTokenType = ReadInt(); return new ATN(grammarType, maxTokenType); }