HASH(0x7ff440070f10)