Constant MP_VERIFY_LABEL 

pub const MP_VERIFY_LABEL: u8 = _; // 11u8

Unique label computed as 1 plus the full chiplet selector with the bits reversed. selector = [0 | 1, 0, 1], flag = rev(selector) + 1 = [1, 0, 1 | 0] + 1 = 11