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á