HASH(0x7ff448d80db0)