HASH(0x7ff420085e30)