Artifacts of The VDM Pretty Printer #199