Half_subtractor loading ...