Constant HT_PATSIZE_12x12 

pub const HT_PATSIZE_12x12: u32 = 10u32;