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