c program to print backward counting