file_42_11741_grab-bag-pretty-print