/* ECP: FILEname=fig5_4.c */
/* 1*/   #define PrintIntDebug( Expr ) \
/* 2*/       printf( "(" #Expr "): %d\n", ( Expr ) )

/* 3*/   int
/* 4*/   main( void )
/* 5*/   {
/* 6*/       int X = 5, Y = 7;

/* 7*/       PrintIntDebug( X + Y );

/* 8*/       return 0;
/* 9*/   }