HASH(0x7ff43807e3e0)