pub type TEE_PropSetHandle = *mut __TEE_PropSetHandle;