HASH(0x7ff420514a58)