HASH(0x7ff42808e1f8)