public static void prettyPrintClassOptions(Stella_Class renamed_Class, OutputStream stream) {
    { Stella_Object optionvalue = null;

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

        loop000 : for (;!(iter000 == Stella.NIL); iter000 = iter000.rest) {
          optionslot = ((StorageSlot)(iter000.value));
          optionvalue = StandardObject.readSlotValue(renamed_Class, optionslot);
          if (optionvalue == null) {
            continue loop000;
          }
          { Surrogate testValue000 = Stella_Object.safePrimaryType(optionvalue);

            if (Surrogate.subtypeOfP(testValue000, Stella.SGT_STELLA_LITERAL_WRAPPER)) {
              { LiteralWrapper optionvalue000 = ((LiteralWrapper)(optionvalue));

                if (!(Stella_Object.literalEqlP(Stella_Object.convertToLiteral(KeyValueList.dynamicSlotValue(optionslot.dynamicSlots, Stella.SYM_STELLA_SLOT_INITIAL_VALUE, null)), optionvalue000) ||
                    Stella_Object.literalEqlP(Stella_Object.convertToLiteral(optionslot.defaultForm()), optionvalue000))) {
                  {
                    stream.nativeStream.println();
                    stream.nativeStream.print("  :" + Native.stringDowncase(((Keyword)(KeyValueList.dynamicSlotValue(optionslot.dynamicSlots, Stella.SYM_STELLA_SLOT_OPTION_KEYWORD, null))).symbolName) + " ");
                  }
;
                  Stella_Object.prettyPrintLiteral(optionvalue000, stream);
                }
              }
            }
            else if (Surrogate.subtypeOfSymbolP(testValue000)) {
              { Symbol optionvalue000 = ((Symbol)(optionvalue));

                if (!(Stella_Object.literalEqlP(Stella_Object.convertToLiteral(KeyValueList.dynamicSlotValue(optionslot.dynamicSlots, Stella.SYM_STELLA_SLOT_INITIAL_VALUE, null)), optionvalue000) ||
                    Stella_Object.literalEqlP(Stella_Object.convertToLiteral(optionslot.defaultForm()), optionvalue000))) {
                  {
                    stream.nativeStream.println();
                    stream.nativeStream.print("  :" + Native.stringDowncase(((Keyword)(KeyValueList.dynamicSlotValue(optionslot.dynamicSlots, Stella.SYM_STELLA_SLOT_OPTION_KEYWORD, null))).symbolName) + " ");
                  }
;
                  Stella_Object.prettyPrintLiteral(optionvalue000, stream);
                }
              }
            }
            else if (Surrogate.subtypeOfKeywordP(testValue000)) {
              { Keyword optionvalue000 = ((Keyword)(optionvalue));

                if (!(Stella_Object.literalEqlP(Stella_Object.convertToLiteral(KeyValueList.dynamicSlotValue(optionslot.dynamicSlots, Stella.SYM_STELLA_SLOT_INITIAL_VALUE, null)), optionvalue000) ||
                    Stella_Object.literalEqlP(Stella_Object.convertToLiteral(optionslot.defaultForm()), optionvalue000))) {
                  {
                    stream.nativeStream.println();
                    stream.nativeStream.print("  :" + Native.stringDowncase(((Keyword)(KeyValueList.dynamicSlotValue(optionslot.dynamicSlots, Stella.SYM_STELLA_SLOT_OPTION_KEYWORD, null))).symbolName) + " ");
                  }
;
                  Stella_Object.prettyPrintLiteral(optionvalue000, stream);
                }
              }
            }
            else if (Surrogate.subtypeOfSurrogateP(testValue000)) {
              { Surrogate optionvalue000 = ((Surrogate)(optionvalue));

                if (!(Stella_Object.literalEqlP(Stella_Object.convertToLiteral(KeyValueList.dynamicSlotValue(optionslot.dynamicSlots, Stella.SYM_STELLA_SLOT_INITIAL_VALUE, null)), optionvalue000) ||
                    Stella_Object.literalEqlP(Stella_Object.convertToLiteral(optionslot.defaultForm()), optionvalue000))) {
                  {
                    stream.nativeStream.println();
                    stream.nativeStream.print("  :" + Native.stringDowncase(((Keyword)(KeyValueList.dynamicSlotValue(optionslot.dynamicSlots, Stella.SYM_STELLA_SLOT_OPTION_KEYWORD, null))).symbolName) + " ");
                  }
;
                  Stella_Object.prettyPrintLiteral(optionvalue000, stream);
                }
              }
            }
            else if (Surrogate.subtypeOfP(testValue000, Stella.SGT_STELLA_LIST)) {
              { List optionvalue000 = ((List)(optionvalue));

                if (!(optionvalue000.emptyP() ||
                    ((KeyValueList.dynamicSlotValue(optionslot.dynamicSlots, Stella.SYM_STELLA_SLOT_INITIAL_VALUE, null) == optionvalue000) ||
                     (optionslot.defaultForm() == optionvalue000)))) {
                  { Object old$PrintreadablyP$000 = Stella.$PRINTREADABLYp$.get();
                    Object old$PrintprettyP$000 = Stella.$PRINTPRETTYp$.get();

                    try {
                      Native.setBooleanSpecial(Stella.$PRINTREADABLYp$, true);
                      Native.setBooleanSpecial(Stella.$PRINTPRETTYp$, true);
                      {
                        stream.nativeStream.println();
                        stream.nativeStream.print("  :" + Native.stringDowncase(((Keyword)(KeyValueList.dynamicSlotValue(optionslot.dynamicSlots, Stella.SYM_STELLA_SLOT_OPTION_KEYWORD, null))).symbolName) + " ");
                      }
;
                      stream.nativeStream.print(((PropertyList)(Stella.$CLASSUNSTRINGIFIEDOPTIONS$.get())).lookup(((Keyword)(KeyValueList.dynamicSlotValue(optionslot.dynamicSlots, Stella.SYM_STELLA_SLOT_OPTION_KEYWORD, null)))));

                    } finally {
                      Stella.$PRINTPRETTYp$.set(old$PrintprettyP$000);
                      Stella.$PRINTREADABLYp$.set(old$PrintreadablyP$000);
                    }
                  }
                }
              }
            }
            else if (testValue000 == Stella.SGT_STELLA_CONS) {
              { Cons optionvalue000 = ((Cons)(optionvalue));

                if (!((optionvalue000 == Stella.NIL) ||
                    ((KeyValueList.dynamicSlotValue(optionslot.dynamicSlots, Stella.SYM_STELLA_SLOT_INITIAL_VALUE, null) == optionvalue000) ||
                     (optionslot.defaultForm() == optionvalue000)))) {
                  { Object old$PrintreadablyP$001 = Stella.$PRINTREADABLYp$.get();
                    Object old$PrintprettyP$001 = Stella.$PRINTPRETTYp$.get();

                    try {
                      Native.setBooleanSpecial(Stella.$PRINTREADABLYp$, true);
                      Native.setBooleanSpecial(Stella.$PRINTPRETTYp$, true);
                      {
                        stream.nativeStream.println();
                        stream.nativeStream.print("  :" + Native.stringDowncase(((Keyword)(KeyValueList.dynamicSlotValue(optionslot.dynamicSlots, Stella.SYM_STELLA_SLOT_OPTION_KEYWORD, null))).symbolName) + " ");
                      }
;
                      stream.nativeStream.print(optionvalue000);

                    } finally {
                      Stella.$PRINTPRETTYp$.set(old$PrintprettyP$001);
                      Stella.$PRINTREADABLYp$.set(old$PrintreadablyP$001);
                    }
                  }
                }
              }
            }
            else {
            }
          }
        }
      }
    }
  }