>> The correct answer is, of course, 2 (00000010).

This is important.  Just because the numbers are binary doesn't mean they
aren't NUMBERS any more.  2*1 should still be 1, and 255+255 (from the
low bytes of the addition example) should still be 510 (254 with a carry.)

BillW