HASH(0x7ff430056b18)