HASH(0x7ff42409c2c0)