Full adder and doctest