Type Alias TEE_Result 

pub type TEE_Result = u32;