define PushbackReader class