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