dump_drain_deferred_symbols 4221 src/pdumper.c        dump_drain_deferred_symbols (ctx);
dump_drain_deferred_symbols 4234 src/pdumper.c        dump_drain_deferred_symbols (ctx);