Preview:
1 2 3 4 5 6 7 8 9
#include <stdio.h>int main() { int x = 10; while (x --> 0) // x goes to 0 { printf("%d ", x); } }