pub type TEE_Result = u32;