#include <stdio.h>

int main( ) {
   int n = 5;
   while (n > 0) {
      printf("entramos con n = %d\n", n);
      n -= 1;
   }
   printf("fin\n");
}