Symbol: htab_hash