Symbol: local64_add_negative