Artifacts of The VDM Pretty Printer #252