public static Cons javaTranslateReturnParameter() {
    return (Cons.list$(Cons.cons(StringWrapper.wrapString("Object []"), Cons.cons(StringWrapper.wrapString("MV_returnarray"), Cons.cons(Stella.NIL, Stella.NIL)))));
  }