pub const TEE_TYPE_DES: u32 = 2684354577;