public static void collectMostSpecificPrimitiveSupers(Stella_Class renamed_Class, List supers) {
    { Surrogate renamed_Super = null;
      Cons iter000 = renamed_Class.classDirectSupers.theConsList;

      for (;!(iter000 == Stella.NIL); iter000 = iter000.rest) {
        renamed_Super = ((Surrogate)(iter000.value));
        if (Surrogate.typeToClass(renamed_Super).primitiveP()) {
          Surrogate.insertPrimitiveSuper(renamed_Super, supers);
        }
        else {
          Stella_Class.collectMostSpecificPrimitiveSupers(Surrogate.typeToClass(renamed_Super), supers);
        }
      }
    }
  }