Constant CMC_FAIL_BAD_MESSAGE_CHECK 

pub const CMC_FAIL_BAD_MESSAGE_CHECK: u32 = 1u32;