public static void warnAboutNonDirectSupers(Stella_Class renamed_Class) {
    if (renamed_Class.multipleParentsP() &&
        Stella_Class.createNativeClassP(renamed_Class)) {
      { List directsupers = renamed_Class.classDirectSupers;

        { Surrogate renamed_Super = null;
          Cons iter000 = directsupers.theConsList;

          for (;!(iter000 == Stella.NIL); iter000 = iter000.rest) {
            renamed_Super = ((Surrogate)(iter000.value));
            { boolean foundP000 = false;

              { Surrogate othersuper = null;
                Cons iter001 = directsupers.theConsList;

                loop001 : for (;!(iter001 == Stella.NIL); iter001 = iter001.rest) {
                  othersuper = ((Surrogate)(iter001.value));
                  if ((!(renamed_Super == othersuper)) &&
                      Surrogate.subtypeOfP(othersuper, renamed_Super)) {
                    foundP000 = true;
                    break loop001;
                  }
                }
              }
              if (foundP000) {
                { Object old$PrintreadablyP$000 = Stella.$PRINTREADABLYp$.get();

                  try {
                    Native.setBooleanSpecial(Stella.$PRINTREADABLYp$, true);
                    Stella.signalTranslationError();
                    if (!(Stella.suppressWarningsP())) {
                      Stella.printErrorContext(">> ERROR: ", Stella.STANDARD_ERROR);
                      {
                        Stella.STANDARD_ERROR.nativeStream.println();
                        Stella.STANDARD_ERROR.nativeStream.println(" Bad list of supers defined for class `" + Stella_Class.className(renamed_Class) + "'.");
                        Stella.STANDARD_ERROR.nativeStream.println(" The class `" + renamed_Super.symbolName + "' is not a direct superclass.");
                      }
;
                    }

                  } finally {
                    Stella.$PRINTREADABLYp$.set(old$PrintreadablyP$000);
                  }
                }
                return;
              }
            }
          }
        }
      }
    }
  }