public static Stella_Object getTokenText(Cons options) {
    if (!Stella.insideWithTokenizerP()) {
      { Object old$PrintreadablyP$000 = Stella.$PRINTREADABLYp$.get();

        try {
          Native.setBooleanSpecial(Stella.$PRINTREADABLYp$, true);
          Stella.signalTranslationError();
          if (!(Stella.suppressWarningsP())) {
            Stella.printErrorContext(">> ERROR: ", Stella.STANDARD_ERROR);
            {
              Stella.STANDARD_ERROR.nativeStream.println();
              Stella.STANDARD_ERROR.nativeStream.println(" Encountered `get-token-text' outside of `with-tokenizer' macro..");
            }
;
          }

        } finally {
          Stella.$PRINTREADABLYp$.set(old$PrintreadablyP$000);
        }
      }
      return (Cons.cons(Stella.SYM_STELLA_GET_TOKEN_TEXT, Stella.NIL));
    }
    { Stella_Object upcaseP = options.value;
      Stella_Object start = options.rest.value;
      Stella_Object end = options.rest.rest.value;

      if (upcaseP == Stella.SYM_STELLA_FALSE) {
        upcaseP = null;
      }
      if (Stella_Object.eqlP(start, Stella.ZERO_WRAPPER)) {
        start = null;
      }
      return (Cons.list$(Cons.cons(Stella.SYM_STELLA_GET_TOKEN_TEXT_INTERNAL, Cons.cons(Stella.SYM_STELLA_TOK_BUFFER_, Cons.cons(((start == null) ? ((StandardObject)(Stella.SYM_STELLA_TOK_TOKENSTART_)) : ((StandardObject)(Cons.list$(Cons.cons(Stella.SYM_STELLA_i, Cons.cons(Stella.SYM_STELLA_TOK_TOKENSTART_, Cons.cons(start, Cons.cons(Stella.NIL, Stella.NIL)))))))), Cons.cons(Cons.cons(((end == null) ? ((StandardObject)(Stella.SYM_STELLA_TOK_CURSOR_)) : ((StandardObject)((Stella_Object.integerP(end) ? (((((IntegerWrapper)(end)).wrapperValue < 0) ? Cons.list$(Cons.cons(Stella.SYM_STELLA_i, Cons.cons(Stella.SYM_STELLA_TOK_CURSOR_, Cons.cons(end, Cons.cons(Stella.NIL, Stella.NIL))))) : Cons.list$(Cons.cons(Stella.SYM_STELLA_i, Cons.cons(Stella.SYM_STELLA_TOK_TOKENSTART_, Cons.cons(end, Cons.cons(Stella.NIL, Stella.NIL))))))) : Cons.list$(Cons.cons(Stella.SYM_STELLA_CHOOSE, Cons.cons(Cons.list$(Cons.cons(Stella.SYM_STELLA_l, Cons.cons(end, Cons.cons(Cons.cons(IntegerWrapper.wrapInteger(0), Stella.NIL), Stella.NIL)))), Cons.cons(Cons.list$(Cons.cons(Stella.SYM_STELLA_i, Cons.cons(Stella.SYM_STELLA_TOK_CURSOR_, Cons.cons(end, Cons.cons(Stella.NIL, Stella.NIL))))), Cons.cons(Cons.list$(Cons.cons(Stella.SYM_STELLA_i, Cons.cons(Stella.SYM_STELLA_TOK_TOKENSTART_, Cons.cons(end, Cons.cons(Stella.NIL, Stella.NIL))))), Cons.cons(Stella.NIL, Stella.NIL)))))))))), Cons.list$(Cons.cons(Stella.SYM_STELLA_TOK_SIZE_, Cons.cons(((upcaseP != null) ? upcaseP : Stella.SYM_STELLA_FALSE), Cons.cons(Stella.NIL, Stella.NIL))))), Stella.NIL))))));
    }
  }