HASH(0x7ff420057e28)