pub const SGX_KEYSELECT_SEAL: u32 = 4;