EmptyPrinter
Default printer that does not customize the pretty-printer
Default printer that does not customize the pretty-printer
Default printer that does not customize the pretty-printer
Default printer that does not customize the pretty-printer