Useful (when timing things at the command line) would be an optional parameter that would cause a timer to be turned off upon Ctrl-C.
