stream = exit_status ? stderr : stdout; 
stream = exit_status ? stderr : stdout; 
usage(const char* cmd, int exit_status){    FILE* stream;    stream = exit_status ? stderr : stdout;    fprintf(stream, "usage: %s [-srkh]"			"[-c configure file]\n", cmd);/* 	fprintf(stream, "\t-d\tsets debug level\n"); *//* 	fprintf(stream, "\t-s\tgets daemon status\n"); *//* 	fprintf(stream, "\t-r\trestarts daemon\n"); *//* 	fprintf(stream, "\t-k\tstops daemon\n"); *//* 	fprintf(stream, "\t-h\thelp message\n"); */    fflush(stream);    exit(exit_status);}
8182	/local/tlutelli/issta_data/temp/c/2005_temp/2005/8182/e94c02a567cf79318f3dc8da0317eac3ed39ecd0/main.c/buggy/crm/tengine/main.c