[ctdonath]

  #define as ;while
  ...
  do printf("n is %d\n", n) as ( n --> 0);

Parses to (white space adjusted for clarity):

  do printf("n is %d\n", n);
  while ( n-- > 0);