HASH(0x7ff41407eba0)