HASH(0x7ff42402e9d0)