public char ReadChar() { if (bufferPosition >= bufferLength) Refill(); return buffer[bufferPosition++]; }