HASH(0x7ff4300a42f0)