HASH(0x7ff414069e38)