pub const HT_PATSIZE_USER: u32 = 18u32;