pub type TEE_ObjectHandle = *mut __TEE_ObjectHandle;