pub const CM_PROB_HALTED: CM_PROB;