HASH(0x7ff434080b58)