{\ ICI ;\ fprintf( stderr,"INSTRUCTION %s" , #instruction ) ;\ fflush(stderr);\ instruction ;\ fflush(stdout);\ fprintf( stderr," FRANCHIE\n" ) ;\ fflush(stderr);\ }
Définition à la ligne 154 du fichier 2.3.6/med_utils.h.