half-adder: Add implementation.