external_carry