HASH(0x7ff42804c678)