Add pretty printer, and a new test file.