pub const SGX_XFRM_RESERVED: i32 = -393960;