public static void computeRequiredSlotNames(Stella_Class renamed_Class) {
    { List slotnames = List.newList();

      { Slot slot = null;
        Iterator iter000 = renamed_Class.classSlots();

        while (iter000.nextP()) {
          slot = ((Slot)(iter000.value));
          if (Stella_Object.storageSlotP(slot) &&
              (((StorageSlot)(slot)).slotRequiredP &&
               (!slotnames.memberP(slot.slotName)))) {
            slotnames.push(slot.slotName);
          }
        }
      }
      if (slotnames.emptyP()) {
        slotnames.free();
      }
      else {
        KeyValueList.setDynamicSlotValue(renamed_Class.dynamicSlots, Stella.SYM_STELLA_CLASS_REQUIRED_SLOT_NAMES, slotnames.reverse(), null);
      }
    }
  }