public static List classNativeSupers(Stella_Class renamed_Class) {
    { boolean alwaysP000 = true;

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

        loop000 : for (;!(iter000 == Stella.NIL); iter000 = iter000.rest) {
          renamed_Super = ((Surrogate)(iter000.value));
          if (!Surrogate.typeToClass(renamed_Super).primitiveP()) {
            alwaysP000 = false;
            break loop000;
          }
        }
      }
      if (alwaysP000) {
        return (renamed_Class.classDirectSupers);
      }
      else {
        return (Stella_Class.mostSpecificPrimitiveSupers(renamed_Class));
      }
    }
  }