public static Cons javaWrapMethodBodyWithVarargValueSetup(Cons methodbody) {
    return (Cons.cons(Stella.SYM_STELLA_JAVA_STATEMENTS, ((Cons)(Stella.$VARARGSTATEMENTS$.get())).reverse().concatenate(Cons.cons(methodbody, Stella.NIL), Stella.NIL)));
  }