Constant TEE_OBJECT_ID_MAX_LEN 

pub const TEE_OBJECT_ID_MAX_LEN: u32 = 64;