Symbol: avtab_hash