public static void clRetranslateStella(boolean productionsettingsP) {
    Stella.translateSystem("stella", Cons.cons(Stella.KWD_COMMON_LISP, Cons.cons(Stella.KWD_TWO_PASSp, Cons.cons(Stella.TRUE_WRAPPER, Cons.cons(Stella.KWD_FORCE_TRANSLATIONp, Cons.cons(Stella.TRUE_WRAPPER, Cons.cons(Stella.KWD_PRODUCTION_SETTINGSp, Cons.cons((productionsettingsP ? Stella.TRUE_WRAPPER : Stella.FALSE_WRAPPER), Stella.NIL))))))));
  }