HASH(0x7ff43c058b00)