Symbol: gcm_hash_remain