HASH(0x7ff43407ffb8)