有以下程序#include<stdio.h>main(){inty=10;while(y--);printf("y=%d\n",y);}程序运行后的输出结果是。