Symbol: gcm_hash_len_done