public static Cons javaWrapMethodBodyWithVarargDeclarations(Cons methodbody) {
    return (Cons.list$(Cons.cons(Stella.SYM_STELLA_JAVA_BLOCK, Cons.cons(((Cons)(Stella.$VARARGDECLS$.get())).reverse(), Cons.cons(Cons.cons(methodbody, Stella.NIL), Stella.NIL)))));
  }