pub const SGX_REPORT_BODY_RESERVED3_BYTES: u32 = 32;