Let's write a program that counts downward using a while loop.