Constant TEE_CORE_API_VERSION 

pub const TEE_CORE_API_VERSION: u32 = 16974080;