public virtual char[] ToCharArray() { char[] newbuf = new char[Size()]; System.Array.Copy(buf, 0, newbuf, 0, Size()); return newbuf; }