HASH(0x7ff4200a80e0)