public static void prettyPrintSlotOptions(StorageSlot slot, OutputStream stream) {
    { Stella_Object slotvalue = null;

      { StorageSlot optionslot = null;
        Cons iter000 = ((Cons)(Stella.$SLOTOPTIONSLOTS$.get()));

        loop000 : for (;!(iter000 == Stella.NIL); iter000 = iter000.rest) {
          optionslot = ((StorageSlot)(iter000.value));
          slotvalue = StandardObject.readSlotValue(slot, optionslot);
          if (slotvalue == null) {
            continue loop000;
          }
          if (Surrogate.subtypeOfP(Stella_Object.safePrimaryType(slotvalue), Stella.SGT_STELLA_LITERAL_WRAPPER)) {
            { LiteralWrapper slotvalue000 = ((LiteralWrapper)(slotvalue));

              if (!Stella_Object.literalEqlP(KeyValueList.dynamicSlotValue(optionslot.dynamicSlots, Stella.SYM_STELLA_SLOT_INITIAL_VALUE, null), slotvalue000)) {
                stream.nativeStream.print(" :" + Native.stringDowncase(((Keyword)(KeyValueList.dynamicSlotValue(optionslot.dynamicSlots, Stella.SYM_STELLA_SLOT_OPTION_KEYWORD, null))).symbolName) + " ");
                Stella_Object.prettyPrintLiteral(slotvalue000, stream);
              }
            }
          }
          else {
          }
        }
      }
    }
  }