有以下程序。 main() { int y=10; while(y--); printf("y=%d\n",y); } 程序运行后的输出结果是()。