HASH(0x7ff43408da80)