pub const SGX_FLAGS_DEBUG: u32 = 2;