$ pcat goes-to.c
#include <stdio.h>

int main() {
  int x = 5;
  // while x goes to 0:
  while (x --> 0) {
    printf("%d ", x);
  }
  printf("\n");
  return 0;
}
$ gcc goes-to.c && ./a.out
4 3 2 1 0