public static void finalizeClassSlots(Stella_Class renamed_Class) {
    KeyValueList.setDynamicSlotValue(renamed_Class.dynamicSlots, Stella.SYM_STELLA_BADp, Stella.TRUE_WRAPPER, null);
    { Surrogate renamed_Super = null;
      Cons iter000 = renamed_Class.classDirectSupers.theConsList;

      for (;!(iter000 == Stella.NIL); iter000 = iter000.rest) {
        renamed_Super = ((Surrogate)(iter000.value));
        if (!((Stella_Class)(renamed_Super.surrogateValue)).classSlotsFinalizedP) {
          Stella_Class.finalizeClassSlots(((Stella_Class)(renamed_Super.surrogateValue)));
        }
      }
    }
    Stella_Class.computeRequiredSlotNames(renamed_Class);
    { Surrogate classtype = renamed_Class.classType;

      { Slot slot = null;
        Cons iter001 = renamed_Class.classLocalSlots.theConsList;

        for (;!(iter001 == Stella.NIL); iter001 = iter001.rest) {
          slot = ((Slot)(iter001.value));
          Slot.registerSlotName(slot);
          slot.slotOwner = classtype;
        }
      }
    }
    { Slot slot = null;
      Cons iter002 = renamed_Class.classLocalSlots.theConsList;

      for (;!(iter002 == Stella.NIL); iter002 = iter002.rest) {
        slot = ((Slot)(iter002.value));
        Slot.finalizeLocalSlot(slot);
      }
    }
    renamed_Class.classSlotsFinalizedP = true;
    KeyValueList.setDynamicSlotValue(renamed_Class.dynamicSlots, Stella.SYM_STELLA_BADp, null, null);
  }