Constant HT_PATSIZE_DEFAULT

pub const HT_PATSIZE_DEFAULT: u32 = 17u32;