Constant CMC_FAIL_BAD_CERT_ID 

pub const CMC_FAIL_BAD_CERT_ID: u32 = 4u32;