protected internal virtual void Resize(int len) { char[] newbuf = new char[Math.Max(buf.Length << 1, len)]; System.Array.Copy(buf, 0, newbuf, 0, Size()); buf = newbuf; }