print_symbol
void (*print_symbol)(FILE *, struct symbol *),
print_symbol(file, sym);
print_symbol(out, menu);