public static StringIterator string_allocateIterator(String self) {
    { StringIterator self000 = StringIterator.newStringIterator();

      self000.theString = self;
      { StringIterator iterator = self000;

        iterator.cursor = 0;
        iterator.end = self.length();
        return (iterator);
      }
    }
  }