printf("global symbols %d (defined %d, undefined %d), locals: %d, \
debug symbols: %d, set_symbols %d, aliases %d --> nsyms %d\n",
global_sym_count,
defined_global_sym_count, undefined_global_sym_count,
local_sym_count, debugger_sym_count,
set_symbol_count, global_alias_count, nsyms);
printf("global symbols %d (defined %d, undefined %d), locals: %d, \
debug symbols: %d, set_symbols %d, aliases %d --> nsyms %d\n",
global_sym_count,
defined_global_sym_count, undefined_global_sym_count,
local_sym_count, debugger_sym_count,
set_symbol_count, global_alias_count, nsyms);