다음 코드가 어떻게 실행되는거죠? GCC에서 잘 돌아가서 C문법같은데 처음보는 거에요 ㅜㅜ 저런 건 어디에 있죠? 저거(-->)는 뭐라고 부르는거에요?

소스코드

#include <stdio.h>
int main()
{
    int x = 10;
    while (x --> 0) // x goes to 0
    {
        printf("%d ", x);
    }
}