HASH(0x7ff43c027210)