HASH(0x7ff42401fa60)