# punch a simple time-keeping tool