HASH(0x7ff420088e60)