VDM	VDM Afkorting van Virtual DOS Machine