HASH(0x7ff42408f9d0)