Symbol: gcm_mul