HASH(0x7ff43d2c24d8)