public static Cons cppTranslateMvFunctionCall(Cons functioncall, Cons variables) {
    return (((Cons)(Stella_Object.cppTranslateATree(functioncall.concatenate(variables.concatenate(Stella.NIL, Stella.NIL), Stella.NIL)))));
  }