A program that counts, with many optional features.