public static void walkVerbatimDefinitionTree(Cons tree) {
    { TranslationUnit self000 = TranslationUnit.newTranslationUnit();

      self000.category = Stella.SYM_STELLA_VERBATIM;
      self000.codeRegister = tree;
      Native.setSpecial(Stella.$CURRENTTRANSLATIONUNIT$, self000);
    }
  }