HASH(0x7ff41405d640)