Symbol: gf128_mul