Constant TEE_ERROR_OVERFLOW 

pub const TEE_ERROR_OVERFLOW: u32 = 0xFFFF300F;