Constant HT_PATSIZE_12x12_M 

pub const HT_PATSIZE_12x12_M: u32 = 11u32;