HASH(0x7ff448d47738)