ticket:10 prettyprint of dump; exceptions