no code change required - hash_set works perfectly