HASH(0x7ff42051a4b0)