HASH(0x7ff438064a20)