HASH(0x7ff43406f4f0)