有以下程序#include<stdio.h> main

#include<stdio.h>
main()
{
	int a=7; 
	while(a--); 
	printf("%d\n", a);
}