public static void idlOutputFormalParameters(Cons parameters) {
    { int nParameters = parameters.length();

      ((OutputStream)(Stella.$CURRENT_STREAM$.get())).nativeStream.print("(");
      { Cons parameter = null;
        Cons iter000 = parameters;
        int n = Stella.NULL_INTEGER;
        int iter001 = 1;
        int upperBound000 = nParameters;
        boolean unboundedP000 = upperBound000 == Stella.NULL_INTEGER;

        for (;(!(iter000 == Stella.NIL)) &&
                  (unboundedP000 ||
                   (iter001 <= upperBound000)); iter000 = iter000.rest, iter001 = iter001 + 1) {
          parameter = ((Cons)(iter000.value));
          n = iter001;
          if (n == nParameters) {
            if (parameter.value == Stella.SYM_STELLA_IDL_VAR_ARGS) {
              {
                ((OutputStream)(Stella.$CURRENT_STREAM$.get())).nativeStream.print("int ");
                ((OutputStream)(Stella.$CURRENT_STREAM$.get())).nativeStream.print(((StringWrapper)(parameter.rest.value)).wrapperValue);
                ((OutputStream)(Stella.$CURRENT_STREAM$.get())).nativeStream.print(", ...");
              }
            }
            else {
              Cons.idlOutputOneFormalParameter(parameter);
            }
          }
          else {
            {
              Cons.idlOutputOneFormalParameter(parameter);
              ((OutputStream)(Stella.$CURRENT_STREAM$.get())).nativeStream.print(", ");
            }
          }
        }
      }
      ((OutputStream)(Stella.$CURRENT_STREAM$.get())).nativeStream.print(")");
    }
  }