Symbol: add32_with_carry