code prettyprint