pub const SGX_KEYSELECT_PROVISION_SEAL: u16 = 2;