pub type sgx_key_128bit_t = [u8; 16];