Symbol: gcm128_init