public static InputStringStream makeTokenizerStringStream(String string) {
    { InputStringStream stream = InputStringStream.newInputStringStream(string);
      TokenizerStreamState state = new TokenizerStreamState();
      int length = string.length() + 1;

      state.buffer = new char[length];
      state.bufferSize = length;
      state.cursor = length;
      state.end = length;
      state.state = 1;
      state.table = null;
      state.stateDictionary = null;
      state.tokenList = StellaToken.newStellaToken();
      stream.tokenizerState = state;
      return (stream);
    }
  }