public static Cons javaTranslateNormalMethodCall(Symbol methodname, Surrogate classtype, Cons allargs) {
    { Slot slot = Stella_Class.lookupSlot(((Stella_Class)(classtype.surrogateValue)), methodname);
      MethodSlot methodslot = (((slot != null) &&
          Stella_Object.isaP(slot, Stella.SGT_STELLA_METHOD_SLOT)) ? ((MethodSlot)(slot)) : null);
      Stella_Object renamed_Object = allargs.value;
      Cons operator = Symbol.javaLookupOperatorTable(methodname.softPermanentify());

      if ((methodslot != null) &&
          MethodSlot.javaMethodObjectIsOverloadedFunctionP(methodslot)) {
        return (Cons.javaTranslateFunctionCall(Cons.list$(Cons.cons(Stella.SYM_STELLA_SYS_CALL_FUNCTION, Cons.cons(Symbol.javaCreateOverloadedFunctionName(methodname, classtype), Cons.cons(allargs.concatenate(Stella.NIL, Stella.NIL), Stella.NIL)))), methodslot));
      }
      if (operator != null) {
        return (Cons.javaTranslateOperatorCall(operator, allargs, allargs.length()));
      }
      else {
        return (Cons.list$(Cons.cons(Stella.SYM_STELLA_JAVA_METHOD_CALL, Cons.cons(Cons.list$(Cons.cons(Stella.SYM_STELLA_JAVA_IDENT, Cons.cons(GeneralizedSymbol.javaTranslateClassName(Symbol.internSymbolInModule(classtype.symbolName, ((Module)(classtype.homeContext)), false)), Cons.cons(Stella.NIL, Stella.NIL)))), Cons.cons(Cons.list$(Cons.cons(Stella.SYM_STELLA_JAVA_IDENT, Cons.cons(((methodslot != null) ? methodslot.javaTranslateMethodName() : Symbol.javaTranslateName(methodname)), Cons.cons(Stella.NIL, Stella.NIL)))), Cons.cons(Stella_Object.javaTranslateATree(renamed_Object), Cons.cons(Cons.cons((((methodslot != null) &&
            ((!(methodslot.methodReturnTypeSpecifiers().rest() == Stella.NIL)) &&
             (allargs.length() <= methodslot.methodParameterNames().length()))) ? Cons.javaTranslateActualParameters(allargs.rest).concatenate(Cons.cons(Cons.list$(Cons.cons(Stella.SYM_STELLA_JAVA_MAKE_ARRAY, Cons.cons(StandardObject.javaTranslateTypeSpec(Stella.SGT_STELLA_NATIVE_OBJECT_POINTER), Cons.cons(Cons.cons(IntegerWrapper.wrapInteger(methodslot.methodReturnTypeSpecifiers().length() - 1), Stella.NIL), Stella.NIL)))), Stella.NIL), Stella.NIL) : Cons.javaTranslateActualParameters(allargs.rest)), Stella.NIL), Stella.NIL)))))));
      }
    }
  }