Constant CM_PROB_HALTED 

pub const CM_PROB_HALTED: CM_PROB;