HASH(0x7ff42003d648)