Two bit string adder problem