fprintf(stderr, "Usage: kallsyms [--all-symbols] < in.map > out.S\n"); 
fprintf(stderr, "Usage: kallsyms [--all-symbols] [--symbol-prefix=<prefix char>] < in.map > out.S\n"); 
usage(void){	fprintf(stderr, "Usage: kallsyms [--all-symbols] < in.map > out.S\n");	exit(1);}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/41f11a4fa378201e902892130b11d78cf7cf8e10/kallsyms.c/clean/scripts/kallsyms.c