#include <stdio.h>

main() { 
  int x = 7;

  while( x > 0) { 
	  printf( "x = %d\n", x) ; 
	  x-- ; 
  }
  printf( "Done.") ; 
}