HASH(0x7ff4440b85d8)