pub const TEE_ERROR_CIPHERTEXT_INVALID: u32 = 4027580422;