if (argc == 2 && strcmp(argv[1], "--all-symbols") == 0) all_symbols = 1; else if (argc != 1) 
if (argc >= 2) { int i; for (i = 1; i < argc; i++) { if(strcmp(argv[i], "--all-symbols") == 0) all_symbols = 1; else if (strncmp(argv[i], "--symbol-prefix=", 16) == 0) { char *p = &argv[i][16]; /* skip quote */ if ((*p == '"' && *(p+2) == '"') || (*p == '\'' && *(p+2) == '\'')) p++; symbol_prefix_char = *p; } else usage(); } } else if (argc != 1) 
main(int argc, char **argv){	if (argc == 2 && strcmp(argv[1], "--all-symbols") == 0)		all_symbols = 1;	else if (argc != 1)		usage();	read_map(stdin);	optimize_token_table();	write_src();	return 0;}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/41f11a4fa378201e902892130b11d78cf7cf8e10/kallsyms.c/buggy/scripts/kallsyms.c