HASH(0x7ff420057d80)