HASH(0x7ff43408f2b8)