docs: public String getString()
      {
          StringBuilder sb = new StringBuilder();
          for (int ii=0;ii<marked;ii++)
          {
              sb.append(charAt(ii));
          }
          return sb.toString();
      }