Half-adder netlist generation works!