public static void cppOutputFormalParameters(Cons parameters) {
    { int nParameters = parameters.length();
      boolean variableArgumentsP = false;

      ((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) {
            {
              variableArgumentsP = parameter.value == Stella.SYM_STELLA_CPP_VAR_ARGS;
              Stella_Object.cppOutputTypedEntity((variableArgumentsP ? StringWrapper.wrapString("int") : parameter.value), parameter.rest.value, null);
              if (variableArgumentsP) {
                ((OutputStream)(Stella.$CURRENT_STREAM$.get())).nativeStream.print(", ...");
              }
            }
          }
          else {
            {
              Stella_Object.cppOutputTypedEntity(parameter.value, parameter.rest.value, null);
              ((OutputStream)(Stella.$CURRENT_STREAM$.get())).nativeStream.print(", ");
            }
          }
        }
      }
      ((OutputStream)(Stella.$CURRENT_STREAM$.get())).nativeStream.print(")");
    }
  }