public static Cons clTranslateStartupTimePrognTree(Cons tree) {
    tree.value = Stella.internCommonLispSymbol("PROGN");
    tree.rest = Cons.clTranslateListOfTrees(tree.rest);
    return (Cons.list$(Cons.cons(Stella.internCommonLispSymbol("EVAL-WHEN"), Cons.cons(Cons.cons(VerbatimStringWrapper.newVerbatimStringWrapper(":LOAD-TOPLEVEL"), Cons.cons(VerbatimStringWrapper.newVerbatimStringWrapper(":EXECUTE"), Stella.NIL)), Cons.cons(tree, Cons.cons(Stella.NIL, Stella.NIL))))));
  }