Added Phil's implementation of our Little Counter example