Artifacts of New Pretty Printer #27