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