public static StandardObject yieldListifiedVariableArgumentsType(MethodSlot method) {
    { Surrogate listbasetype = Stella.SGT_STELLA_CONS;
      StandardObject elementtype = MethodSlot.variableArgumentsType(method);

      if ((((Keyword)(Stella.$TRANSLATOROUTPUTLANGUAGE$.get())) == Stella.KWD_JAVA) &&
          (!MethodSlot.methodMustBeEvaluableP(method))) {
      }
      if (Stella_Object.typeP(elementtype)) {
        elementtype = ((Surrogate)(elementtype)).typeToWrappedType();
      }
      { ParametricTypeSpecifier self000 = ParametricTypeSpecifier.newParametricTypeSpecifier();

        self000.specifierBaseType = listbasetype;
        self000.specifierParameterTypes = List.list(Cons.cons(elementtype, Stella.NIL));
        { ParametricTypeSpecifier value000 = self000;

          return (value000);
        }
      }
    }
  }