public static void addDirectSubsBackLinks(Stella_Class renamed_Class) {
    { List directsubs = renamed_Class.classDirectSubs;
      Surrogate classtype = renamed_Class.classType;

      directsubs.removeDuplicates();
      { Surrogate subtype = null;
        Cons iter000 = directsubs.theConsList;

        for (;!(iter000 == Stella.NIL); iter000 = iter000.rest) {
          subtype = ((Surrogate)(iter000.value));
          if (((Stella_Class)(subtype.surrogateValue)) != null) {
            { Stella_Class subclass = ((Stella_Class)(subtype.surrogateValue));

              if (subclass.classFinalizedP) {
                if (!(subclass.classAllSuperClasses.memberP(renamed_Class))) {
                  subclass.classDirectSupers.insert(classtype);
                  Stella_Class.unfinalizeClassAndSubclasses(renamed_Class);
                }
              }
              else {
                subclass.classDirectSupers.insertNew(classtype);
              }
            }
          }
        }
      }
    }
  }