signed char * s; 
char * s; 
void parse_file(FILE *infile){	char line[MAXLINESZ];	signed char * s;	while(fgets(line, MAXLINESZ, infile)) {		if (line[0] == '!') {			s = line + 2;			switch (line[1]) {				case 'E':					while (*s && !isspace(*s)) s++;					*s = '\0';					externalfunctions(line+2);					break;				case 'I':					while (*s && !isspace(*s)) s++;					*s = '\0';					internalfunctions(line+2);					break;				case 'D':					while (*s && !isspace(*s)) s++;                                        *s = '\0';                                        symbolsonly(line+2);                                        break;				case 'F':					/* filename */					while (*s && !isspace(*s)) s++;					*s++ = '\0';                                        /* function names */					while (isspace(*s))						s++;					singlefunctions(line +2, s);					break;				default:					defaultline(line);			}		}		else {			defaultline(line);		}	}	fflush(stdout);}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/48b9d03c5f20a0585bb6f7d8c4abad3661df5d75/docproc.c/buggy/scripts/basic/docproc.c