HASH(0x7ff4440d7570)