Considere o código fonte em linguagem C, abaixo, que utiliza controle de fluxo por meio de um laço de repetição while e do comando de tomada de decisão if, com objetivo de imprimir uma sequência de números terminada pela palavra

                              #include <stdio.h>
                               int main (void)
                               {
                                   int cont = 0;
                                   while (cont < 10)
                                   {   
                                         if (cont == 5) continue;
                                         printf("%d ", cont);
                                         cont=cont+1;
                                   }
                                   printf("fim\n");
                                   return 0;
                               } 



É correto afirmar que o programa está