Binary_multiplier loading ...