Symbol: add_with_carry