pub const SGX_REPORT_BODY_RESERVED1_BYTES: u32 = 12;