Constant hts_sys::TBX_MAX_SHIFT

pub const TBX_MAX_SHIFT: u32 = 31;