private void Resize (int len) { char[] newBuf = new char [len]; Array.Copy (_cbuf, newBuf, _ind); _cbuf = newBuf; }