void singfunc(char * filename, signed char * line) 
void singfunc(char * filename, char * line) 
void singfunc(char * filename, signed char * line){	char *vec[200]; /* Enough for specific functions */        int i, idx = 0;        int startofsym = 1;	vec[idx++] = KERNELDOC;	vec[idx++] = DOCBOOK;        /* Split line up in individual parameters preceeded by FUNCTION */        for (i=0; line[i]; i++) {                if (isspace(line[i])) {                        line[i] = '\0';                        startofsym = 1;                        continue;                }                if (startofsym) {                        startofsym = 0;                        vec[idx++] = FUNCTION;                        vec[idx++] = &line[i];                }        }	vec[idx++] = filename;	vec[idx] = NULL;	exec_kernel_doc(vec);}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/48b9d03c5f20a0585bb6f7d8c4abad3661df5d75/docproc.c/buggy/scripts/basic/docproc.c