exec prettyprint