Symbol: aes_gcm_key_vaes_avx2