class CharacterReader {

    char consume() {
        bufferUp();
        char val = isEmptyNoBufferUp() ? EOF : charBuf[bufPos];
        bufPos++;
        return val;
    }

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

}