Artifacts of The VDM Pretty Printer #289