add an example use of the #:pp argument to the redex docs