to print pretty when the stream is a pretty-stream (and when *print-pretty*) to ensure that all output goes to the same stream.
to print pretty when the stream is a pretty-stream (and when *print-pretty*) to ensure that all output goes to the same stream.