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

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