Symbol: ident_hash_add