public static void forgetUnfinalizedClass(Stella_Class renamed_Class) {
    if (!(renamed_Class.classFinalizedP &&
        renamed_Class.classSlotsFinalizedP)) {
      Stella.$UNFINALIZED_CLASSES$.remove(renamed_Class);
    }
  }