Constant HT_PATSIZE_USER 

pub const HT_PATSIZE_USER: u32 = 18u32;