dump_drain_deferred_symbols 4220 src/pdumper.c        dump_drain_deferred_symbols (ctx);
dump_drain_deferred_symbols 4233 src/pdumper.c        dump_drain_deferred_symbols (ctx);