pub const TEE_PROPSET_TEE_IMPLEMENTATION: TEE_PropSetHandle = _; // {0xfffffffd as *mut tee_api_types::__TEE_PropSetHandle}