pub const TEE_TYPE_AES: u32 = 2684354576;