Artifacts of The VDM Pretty Printer #251