Constant CCODE::ERROR_VDM_HARD_ERROR

pub const ERROR_VDM_HARD_ERROR: u32 = 593;