Constant BLIS_EXEC_DOMAIN_SHIFT 

pub const BLIS_EXEC_DOMAIN_SHIFT: u32 = 13;