pub const TEE_TYPE_ILLEGAL_VALUE: u32 = 4026531839;