public static void printStellaCode(Stella_Object tree, PrintableStringWriter stream) {
    { Object old$PrintprettyP$000 = Stella.$PRINTPRETTYp$.get();
      Object old$PrintreadablyP$000 = Stella.$PRINTREADABLYp$.get();

      try {
        Native.setBooleanSpecial(Stella.$PRINTPRETTYp$, ((Boolean)(Stella.$PRINTPRETTYCODEp$.get())).booleanValue());
        Native.setBooleanSpecial(Stella.$PRINTREADABLYp$, true);
        stream.println(tree);

      } finally {
        Stella.$PRINTREADABLYp$.set(old$PrintreadablyP$000);
        Stella.$PRINTPRETTYp$.set(old$PrintprettyP$000);
      }
    }
  }