public static Cons wrapMethodBodyWithJavaAuxiliaryDeclarations(Cons methodbody, Cons declarations) {
    { Cons odeclarations = Stella.NIL;
      Cons otree = null;

      declarations = declarations.reverse();
      { Stella_Object declaration = null;
        Cons iter000 = declarations;

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

            odeclarations = Cons.cons(Cons.cons(StandardObject.javaTranslateTypeSpec(((StandardObject)(d.rest.value))), Cons.cons(Stella_Object.javaTranslateATree(d.value), (((d.rest.rest.value != null) ? Cons.consList(Cons.cons(Stella_Object.javaTranslateATree(d.rest.rest.value), Stella.NIL)) : Stella.NIL)).concatenate(Stella.NIL, Stella.NIL))), odeclarations);
          }
        }
      }
      otree = Cons.list$(Cons.cons(Stella.SYM_STELLA_JAVA_STATEMENTS, Cons.cons(Cons.list$(Cons.cons(Stella.SYM_STELLA_JAVA_BLOCK, Cons.cons(odeclarations.reverse(), Cons.cons(Cons.cons(methodbody, Stella.NIL), Stella.NIL)))), Cons.cons(Stella.NIL, Stella.NIL))));
      return (otree);
    }
  }