trying prettyprint for an example