有以下程序#include<stdio.h>intmain(){intk=5;while(--k)printf("%d",k-=3);return0;}