HASH(0x7ff42407f2f0)