hash-functions: New function hash_pointer().