Constant HT_USERPAT_CX_MIN 

pub const HT_USERPAT_CX_MIN: u32 = 4u32;