HASH(0x7ff42403b300)