Half_adder loading ...