HASH(0x7ff438043a20)