if (good_head.left == good_head.right && bad_head.left == bad_head.right) { 
if (!table_cnt) { 
static void optimize_token_table(void){	memset(hash_table, 0, sizeof(hash_table));	good_head.left = &good_head;	good_head.right = &good_head;	bad_head.left = &bad_head;	bad_head.right = &bad_head;	build_initial_tok_table();	insert_real_symbols_in_table();	/* When valid symbol is not registered, exit to error */	if (good_head.left == good_head.right &&	    bad_head.left == bad_head.right) {		fprintf(stderr, "No valid symbol.\n");		exit(1);	}	optimize_result();}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/b3dbb4ecd46767b621df3dedd28788da93ee0cac/kallsyms.c/clean/scripts/kallsyms.c