trying to figure out prettyprint