HASH(0x7fede264d4c0)