c while(--x)

#include <stdio.h>
#include <stdlib.h>

int main (int argc, char **argv)
{

int x = 10;

while(--x){
    printf("%d ", x);
}

return 0;
}

/*

output:

9 8 7 6 5 4 3 2 1

*/