bufferize the prettyprinter instead of printing it