pub const SGX_1_5_MAJOR_VERSION: u32 = 1;