HASH(0x7fee2f87a000)