public static Cons javaTranslateMvFunctionCall(Cons functioncall, Symbol mvvectorname) {
    return (((Cons)(Stella_Object.javaTranslateATree(functioncall.concatenate(Cons.cons(mvvectorname, Stella.NIL), Stella.NIL)))));
  }