printf (" -time ................ measure the runtime\n");
printf (" -stat ................ detailed compiler statistics\n");
printf (" -log logfile ......... specify a name for the logfile\n");
printf (" -time ................ measure the runtime\n");
printf (" -stat ................ detailed compiler statistics\n");
printf (" -log logfile ......... specify a name for the logfile\n");