pub const SGX_REPORT_BODY_RESERVED4_BYTES: u32 = 42;