HASH(0x7ff438018ff0)