HASH(0x7ff414529e70)