pub const CM_PROB_HALTED: CM_PROB = 44u32;