pub const SGX_2_0_MAJOR_VERSION: u32 = 2;