I remember this from a similar example in C:

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

(prints 9 8 7 6 5 4 3 2 1 0)

https://stackoverflow.com/questions/1642028/what-is-the-oper...