#define XXX {fprintf(stdout,"\n@@@ %d %d @@@ ",__LINE__,i);};
#define YYY fprintf(stdout,"\n@@@ %d %d @@@ ",__LINE__,i),
    #include <stdio.h>
    main() {
      int i;
XXX   i=1;
XXX   while (i < 4) {
XXX     printf("%d\n", i);
XXX     i++;
      }
XXX   return 0;
    }