public static void startupKernel(boolean verboseP) {
    { int phase = Stella.NULL_INTEGER;
      int iter000 = 0;
      int upperBound000 = 9;

      loop000 : for (;iter000 <= upperBound000; iter000 = iter000 + 1) {
        phase = iter000;
        Stella.$STARTUP_TIME_PHASE$ = phase;
        if (verboseP) {
          if (phase == 0) {
          }
          else if (phase == 2) {
            System.out.println("Running kernel startup code...");
            System.out.println("Initializing symbol tables...");
          }
          else if (phase == 3) {
            System.out.println("Initializing quoted constants...");
          }
          else if (phase == 4) {
            System.out.println("Initializing global variables...");
          }
          else if (phase == 5) {
            System.out.println("Creating class objects...");
          }
          else if (phase == 6) {
            System.out.println("Finalizing classes...");
          }
          else if (phase == 7) {
            System.out.println("Creating method objects...");
          }
          else if (phase == 8) {
            System.out.println("Finalizing methods...");
          }
          else if (phase == 9) {
            System.out.println("Running non-phased startup code...");
          }
        }
        if (phase == 6) {
          Stella.finalizeClasses();
          Stella.$CLASS_HIERARCHY_BOOTEDp$ = true;
          continue loop000;
        }
        if (phase == 8) {
          Stella.finalizeSlots();
          Stella.cleanupUnfinalizedClasses();
          continue loop000;
        }
        _StartupStartup.startupStartup();
        Native.startupJavaNative();
        _StartupPrimal.startupPrimal();
        _StartupTypePredicates.startupTypePredicates();
        _StartupConses.startupConses();
        _StartupHierarchy.startupHierarchy();
        _StartupTaxonomies.startupTaxonomies();
        _StartupLists.startupLists();
        _StartupCollections.startupCollections();
        _StartupIterators.startupIterators();
        _StartupLiterals.startupLiterals();
        _StartupSymbols.startupSymbols();
        _StartupClasses.startupClasses();
        _StartupMethods.startupMethods();
        _StartupDefclass.startupDefclass();
        _StartupStellaIn.startupStellaIn();
        _StartupForeach.startupForeach();
        _StartupWalk.startupWalk();
        _StartupDynamicSlots.startupDynamicSlots();
        _StartupDynamicLiteralSlots.startupDynamicLiteralSlots();
        _StartupSystems.startupSystems();
        _StartupClTranslate.startupClTranslate();
        _StartupMacros.startupMacros();
        _StartupMemoize.startupMemoize();
        _StartupStreams.startupStreams();
        _StartupDescribe.startupDescribe();
        _StartupDemons.startupDemons();
        _StartupMoreDemons.startupMoreDemons();
        _StartupNameUtility.startupNameUtility();
        _StartupModules.startupModules();
        _StartupContexts.startupContexts();
        _StartupRead.startupRead();
        _StartupXml.startupXml();
        _StartupDateTime.startupDateTime();
        _StartupDateTimeParser.startupDateTimeParser();
      }
    }
  }