public static void removeDirectSupersBackLinks(Stella_Class renamed_Class) {
    { Surrogate classtype = renamed_Class.classType;

      { Surrogate supertype = null;
        Cons iter000 = renamed_Class.classDirectSupers.theConsList;

        for (;!(iter000 == Stella.NIL); iter000 = iter000.rest) {
          supertype = ((Surrogate)(iter000.value));
          if (((Stella_Class)(supertype.surrogateValue)) != null) {
            ((Stella_Class)(supertype.surrogateValue)).classDirectSubs.remove(classtype);
          }
        }
      }
    }
  }