public static void walkPhaseOneUnit(TranslationUnit unit) {
    { Object old$Localvariabletypetable$000 = Stella.$LOCALVARIABLETYPETABLE$.get();
      Object old$Currenttranslationunit$000 = Stella.$CURRENTTRANSLATIONUNIT$.get();

      try {
        Native.setSpecial(Stella.$LOCALVARIABLETYPETABLE$, KeyValueList.newKeyValueList());
        Native.setSpecial(Stella.$CURRENTTRANSLATIONUNIT$, unit);
        { Symbol testValue000 = unit.category;

          if (testValue000 == Stella.SYM_STELLA_GLOBAL_VARIABLE) {
            TranslationUnit.walkGlobalUnit(unit);
          }
          else if (testValue000 == Stella.SYM_STELLA_MODULE) {
            TranslationUnit.walkModuleUnit(unit);
          }
          else if (testValue000 == Stella.SYM_STELLA_TYPE) {
            TranslationUnit.walkTypeUnit(unit);
          }
          else if ((testValue000 == Stella.SYM_STELLA_METHOD) ||
              (testValue000 == Stella.SYM_STELLA_PRINT_METHOD)) {
            TranslationUnit.walkMethodUnit(unit);
          }
          else if (testValue000 == Stella.SYM_STELLA_CLASS) {
            TranslationUnit.walkClassUnit(unit);
          }
          else if (testValue000 == Stella.SYM_STELLA_SLOT) {
            TranslationUnit.walkSlotUnit(unit);
          }
          else if (testValue000 == Stella.SYM_STELLA_STARTUP_TIME_PROGN) {
            TranslationUnit.walkStartupTimePrognUnit(unit);
          }
          else if (testValue000 == Stella.SYM_STELLA_VERBATIM) {
            TranslationUnit.walkVerbatimUnit(unit);
          }
          else {
            { OutputStringStream stream000 = OutputStringStream.newOutputStringStream();

              stream000.nativeStream.print("`" + testValue000 + "' is not a valid case option");
              throw ((StellaException)(StellaException.newStellaException(stream000.theStringReader()).fillInStackTrace()));
            }
          }
        }

      } finally {
        Stella.$CURRENTTRANSLATIONUNIT$.set(old$Currenttranslationunit$000);
        Stella.$LOCALVARIABLETYPETABLE$.set(old$Localvariabletypetable$000);
      }
    }
  }