From the thread:
while (x --\
\
\
\
> 0)
printf("%d ", x);
That's fantastic!