public static void freeRequiredSlotNames(Stella_Class renamed_Class) {
    if (renamed_Class.classRequiredSlotNames().nonEmptyP()) {
      renamed_Class.classRequiredSlotNames().free();
      KeyValueList.setDynamicSlotValue(renamed_Class.dynamicSlots, Stella.SYM_STELLA_CLASS_REQUIRED_SLOT_NAMES, null, null);
    }
  }