Mysterious C :)

#include <stdio.h>

int main () {
    int x = 10;
    while (x --> 0) {
        printf("%d\n", x);
    }
}