Constant HTR_HT_WIDTH

pub const HTR_HT_WIDTH: u32 = 12;