internal void AddChar(char ch) { if (_numBytes > 0) FlushBytes(); if (_charBuffer == null) _charBuffer = new char[_bufferSize]; _charBuffer[_numChars++] = ch; }