public void Pushback (int ch) { pushback.Push (ch); } }
void PushbackChar(int ch) { // FIXME handle lines (and columns? ugh, how?) reader.Pushback(ch); }