Create VDMUtil.vdmsl