[bonzini]

Not even that, you would use the carry out of an N-bit adder as the (N+1)-th bit.