A simple countdown program written in C