Binary_adder loading ...