Symbol: GCM_gmult