Type Definition sgx_tcrypto::sgx_aes_ctr_128bit_ctr_t

type sgx_aes_ctr_128bit_ctr_t = [uint8_t; 16];