public static void prettyPrintDefinitionTree(Cons tree, OutputStream stream) {
    tree = ((Cons)(Stella_Object.consifyListsAndIterators(tree)));
    { Object old$PrintprettycodeP$000 = Stella.$PRINTPRETTYCODEp$.get();

      try {
        Native.setBooleanSpecial(Stella.$PRINTPRETTYCODEp$, true);
        Stella_Object.printStellaDefinition(tree, stream.nativeStream);

      } finally {
        Stella.$PRINTPRETTYCODEp$.set(old$PrintprettycodeP$000);
      }
    }
  }