pub const TEEC_ERROR_SHORT_BUFFER: u32 = 4294901776;