MOD: prettyprint for examples.