HASH(0x7ff424051c30)