HASH(0x7ff440077e70)