for (i = 0; i < number_of_files; i++) read_file_symbols(&file_table[i]);
for (current_file = 0; current_file < number_of_files; current_file++) read_file_symbols(&file_table[current_file]);
load_symbols(){	register int i;	if (trace_files)		fprintf(stderr, "Loading symbols:\n\n");	for (i = 0; i < number_of_files; i++)		read_file_symbols(&file_table[i]);	if (trace_files)		fprintf(stderr, "\n");}