public char[] toCharArray() {char newbuf[] = new char[size()];System.arraycopy(buf, 0, newbuf, 0, size());return newbuf;}

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