Symbol: inj_hash_lookup