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