Constant TEE_ERROR_SHORT_BUFFER 

pub const TEE_ERROR_SHORT_BUFFER: u32 = 4294901776;