pub const SGX_FLAGS_NON_CHECK_BITS: u64 = 71776119061217280;