Artifacts of The VDM Pretty Printer #197