public static void idlOutputEnum(Cons renamed_Enum) {
    ((OutputStream)(Stella.$CURRENT_STREAM$.get())).nativeStream.print("enum {");
    Cons.idlOutputEnumerands(((Cons)(((Cons)(renamed_Enum.nth(4))).rest.value)));
    {
      ((OutputStream)(Stella.$CURRENT_STREAM$.get())).nativeStream.println("};");
      ((OutputStream)(Stella.$CURRENT_STREAM$.get())).nativeStream.println();
    }
;
  }