pub const SGX_CPUSVN_SIZE: u32 = 16;