HASH(0x7ff43809ee38)