HASH(0x7ff43c009a20)