pub const SGX_KEYSELECT_SEAL: u16 = 4;