Artifacts of VDM Pretty Printing #200