private int ReadChar() { // Read only up to end of current buffer then stop. if (pos < used) return m_buffer[pos++]; return EOF; } private int PeekChar() {