reset_coding_after_pdumper_load 11704 src/coding.c   static void reset_coding_after_pdumper_load (void);
reset_coding_after_pdumper_load 12251 src/coding.c     pdumper_do_now_and_after_load (reset_coding_after_pdumper_load);