Constant BLIS_EXEC_DOMAIN_BIT 

pub const BLIS_EXEC_DOMAIN_BIT: u32 = 8192;