HASH(0x7ff43405d178)