PeekReader r = make("abc") ;
checkLineCol(r, INIT_LINE, INIT_COL) ;
int ch = r.readChar() ;
// Pushback does not move line/col backwards.
checkLineCol(r, INIT_LINE, INIT_COL+1) ;
assertEquals('b', r.peekChar()) ;
checkLineCol(r, INIT_LINE, INIT_COL+1) ;
r.pushbackChar('a') ;
checkLineCol(r, INIT_LINE, INIT_COL+1) ;
contains(r, "abc") ;
}