Symbol: gcm128_test