i = 5;
while (i)
  i--;
  printf ("%d", i);
endwhile
printf ("\n");
