Constant MISMATCHED_HAL 

pub const MISMATCHED_HAL: BUGCHECK_ERROR;