HASH(0x7ff424055e50)