EXIT VDM

Utility to exit a VDM or VBM.