HASH(0x7ff43407c5b0)