Constant HT_USERPAT_CX_MIN

pub const HT_USERPAT_CX_MIN: u32 = 4u32;