class CharacterReader {

    void mark() {
        // extra buffer up, to get as much rewind capacity as possible
        bufSplitPoint = 0;
        bufferUp();
        bufMark = bufPos;
    }

    public  CharacterReader(Reader input, int sz);
    public  CharacterReader(Reader input);
    public  CharacterReader(String input);

}