reset_coding_after_pdumper_load 11678 src/coding.c   static void reset_coding_after_pdumper_load (void);
reset_coding_after_pdumper_load 12225 src/coding.c     pdumper_do_now_and_after_load (reset_coding_after_pdumper_load);