See pointer_hash.
Generate a hash key for a pointer.
The value pointed at by the pointer is not used, only the pointer itself.