HASH(0x7ff43d258200)