HASH(0x7ff448d80720)