Obligatory "x slides to zero":
while (x --\
\
\
\
> 0)
printf("%d ", x);