half-adder: Add S output.