JPT Tutorial: Simple Integer Adder and Simple Double Adder                                                                  Page 13