HASH(0x7ff40c502d30)