HASH(0x7ff424052b20)