HASH(0x7ff43806d2b0)