pub const TB_RESULT_PROMOTES_SHIFT: u32 = 16;