public static Cons cppTranslateLetTree(Cons tree) {
    { Cons odeclarations = Stella.NIL;

      { Stella_Object declaration = null;
        Cons iter000 = ((Cons)(tree.rest.value));

        for (;!(iter000 == Stella.NIL); iter000 = iter000.rest) {
          declaration = iter000.value;
          { Cons d = ((Cons)(declaration));

            odeclarations = Cons.cons(Cons.cons(StandardObject.cppTranslateAndPointerizeTypeSpec(((StandardObject)(d.rest.value))), Cons.cons(Stella_Object.cppTranslateATree(d.value), Cons.cons(Stella_Object.cppTranslateATree(d.rest.rest.value), Stella.NIL))), odeclarations);
          }
        }
      }
      return (Cons.list$(Cons.cons(Stella.SYM_STELLA_CPP_BLOCK, Cons.cons(odeclarations.reverse(), Cons.cons(Cons.cons(Cons.cons(Stella.SYM_STELLA_CPP_STATEMENTS, Cons.cppTranslateListOfTrees(tree.rest.rest).concatenate(Stella.NIL, Stella.NIL)), Stella.NIL), Stella.NIL)))));
    }
  }