public static void idlOutputDerivedClasses(Cons classList) {
    if (((StringWrapper)(classList.value)) != null) {
      ((OutputStream)(Stella.$CURRENT_STREAM$.get())).nativeStream.print(((StringWrapper)(classList.value)).wrapperValue);
    }
    { StringWrapper renamed_Class = null;
      Cons iter000 = classList.rest;

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