public static Cons cppTranslateLoop(Cons tree) {
    { Cons body = Cons.cppTranslateListOfTrees(tree.rest);

      return (Cons.list$(Cons.cons(Stella.SYM_STELLA_CPP_LOOP, Cons.cons(Cons.list$(Cons.cons(Stella.SYM_STELLA_CPP_PROGN, Cons.cons(Cons.cons(Stella.SYM_STELLA_CPP_STATEMENTS, body.concatenate(Stella.NIL, Stella.NIL)), Cons.cons(Stella.NIL, Stella.NIL)))), Cons.cons(Stella.NIL, Stella.NIL)))));
    }
  }