main()
{
        int count;
        count =20;
loop:   count --;       /* decrement count */
        /* SOMETHING - i.e. print the count */
        printf("count == %d 0x%x\n",count,count);
        if (count != 0) {goto loop;}
}