有下列程序： main() { int y=20； do{y--;} while(--y)； printf("%d\n",y--)； } 当执行程序时，输出的结果是( )。