HASH(0x7ff40c50c1f8)