public static void javaOutputFormalParameters(Cons parameters) {
    ((OutputStream)(Stella.$CURRENT_STREAM$.get())).nativeStream.print("(");
    if (!(parameters == Stella.NIL)) {
      ((OutputStream)(Stella.$CURRENT_STREAM$.get())).nativeStream.print(((StringWrapper)(((Cons)(parameters.value)).value)).wrapperValue + " " + ((StringWrapper)(((Cons)(parameters.value)).rest.value)).wrapperValue);
      { Cons parameter = null;
        Cons iter000 = parameters.rest;

        for (;!(iter000 == Stella.NIL); iter000 = iter000.rest) {
          parameter = ((Cons)(iter000.value));
          ((OutputStream)(Stella.$CURRENT_STREAM$.get())).nativeStream.print(", " + ((StringWrapper)(parameter.value)).wrapperValue + " " + ((StringWrapper)(parameter.rest.value)).wrapperValue);
        }
      }
    }
    ((OutputStream)(Stella.$CURRENT_STREAM$.get())).nativeStream.print(")");
  }