pub const TEE_ATTR_DH_SUBPRIME: u32 = 3489665330;