public static void pprintCons(Cons tree, PrintableStringWriter stream, String lparen, String rparen) {
    { Object old$PrintprettyP$000 = Stella.$PRINTPRETTYp$.get();

      try {
        Native.setBooleanSpecial(Stella.$PRINTPRETTYp$, false);
        Cons.printCons(tree, stream, lparen, rparen);

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