Half-adder loading ...