This patch adds a couple pretty-printers.  Comments?