full_adder edit