public static StringWrapper javaTranslateVariableLengthArgName(Symbol namesymbol, int parameternumber) {
    { Symbol returnsymbol = Symbol.internSymbol(namesymbol.symbolName + Native.integerToString(((long)(parameternumber))));
      StringWrapper translatedname = Symbol.javaTranslateName(returnsymbol);

      return (translatedname);
    }
  }