public static TranslationUnit helpWalkAuxiliaryTree(Cons tree, boolean finalizeP) {
    if (!(Stella.getQuotedTree("((DEFCLASS DEFMETHOD DEFUN DEFMACRO DEFGLOBAL DEFSPECIAL DEFCONSTANT STARTUP-TIME-PROGN VERBATIM) \"/STELLA\")", "/STELLA").memberP(tree.value))) {
      { OutputStringStream stream000 = OutputStringStream.newOutputStringStream();

        {
          stream000.nativeStream.println("OOPS, illegal auxiliary statement:");
          stream000.nativeStream.print("   `" + tree + "'");
        }
;
        throw ((StellaException)(StellaException.newStellaException(stream000.theStringReader()).fillInStackTrace()));
      }
    }
    Cons.walkTopLevelTree(tree, false);
    if (finalizeP) {
      Stella.finalizeClassesAndSlots();
    }
    { TranslationUnit unit = ((TranslationUnit)(((List)(Stella.$TRANSLATIONUNITS$.get())).pop()));

      unit.auxiliaryP = true;
      TranslationUnit.walkPhaseOneUnit(unit);
      return (unit);
    }
  }