return new String (array (), position (), length ());
if (hasArray ()) return new String (array (), position (), length ());  char[] buf = new char [length ()]; get (buf); return new String (buf);
  public String toString ()  {    return new String (array (), position (), length ());  }