public static Stella_Object withStellaTokenizer(Stella_Object input, Cons body) {
    return (Cons.list$(Cons.cons(Stella.SYM_STELLA_WITH_TOKENIZER, Cons.cons(Stella.SYM_STELLA_$STELLA_TOKENIZER_TABLE$, Cons.cons(input, Cons.cons(Cons.cons(Cons.list$(Cons.cons(Stella.SYM_STELLA_LET, Cons.cons(Cons.list$(Cons.cons(Cons.list$(Cons.cons(Stella.SYM_STELLA_TOK_STELLALOGICALSTATENAMES_, Cons.cons(Cons.list$(Cons.cons(Stella.SYM_STELLA_THE_ARRAY, Cons.cons(Stella.SYM_STELLA_$STELLA_LOGICAL_STATE_NAMES$, Cons.cons(Stella.NIL, Stella.NIL)))), Cons.cons(Stella.NIL, Stella.NIL)))), Cons.cons(Cons.list$(Cons.cons(Stella.SYM_STELLA_TOK_STELLALOGICALSTATENAME_, Cons.cons(Stella.SYM_STELLA_KEYWORD, Cons.cons(Stella.SYM_STELLA_NULL, Cons.cons(Stella.NIL, Stella.NIL))))), Cons.cons(Stella.NIL, Stella.NIL)))), Cons.cons(body.concatenate(Stella.NIL, Stella.NIL), Stella.NIL)))), Stella.NIL), Stella.NIL))))));
  }