HASH(0x7ff448d76020)