public static void markRenamingSlots(Stella_Class renamed_Class) {
    { Slot slot = null;
      Iterator iter000 = renamed_Class.classSlots();

      while (iter000.nextP()) {
        slot = ((Slot)(iter000.value));
        slot.slotMarkedP = false;
      }
    }
    { Slot slot = null;
      Iterator iter001 = renamed_Class.classSlots();

      while (iter001.nextP()) {
        slot = ((Slot)(iter001.value));
        if (!slot.slotMarkedP) {
          if ((slot.slotDirectEquivalent != null) &&
              (!slot.slotDirectEquivalent.slotRenamedP)) {
            Slot.markDirectEquivalentSlot(slot);
            slot.slotMarkedP = false;
          }
        }
      }
    }
  }