show_symbol_list
extern void show_symbol_list(struct symbol_list *, const char *);
show_symbol_list(list, "\n\n");