void noaction2(char * file, signed char * line)   { file = file; line = line; } 
void noaction2(char * file, char * line)   { file = file; line = line; } 
void noaction2(char * file, signed char * line)   { file = file; line = line; }
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/48b9d03c5f20a0585bb6f7d8c4abad3661df5d75/docproc.c/buggy/scripts/basic/docproc.c