HASH(0x7ff4200a14f0)