private int NextChar() { if (this.stacked.Count > 0) return this.stacked.Pop(); int ch = this.input.Read(); return ch; }