Constant HT_PATSIZE_DEFAULT 

pub const HT_PATSIZE_DEFAULT: u32 = 17u32;