HASH(0x7ff40c023320)