ripple-carry adder, commutativity plug