Constant HT_PATSIZE_12x12_M

pub const HT_PATSIZE_12x12_M: u32 = 11u32;