Use builtin pretty-printing machinery