pub const SGX_MAC_SIZE: u32 = 16;