pub const VdmDelayInterrupt: VDMSERVICECLASS = 2;