HASH(0x7ff40803fbe0)