init_fringe_once_for_pdumper 1794 src/fringe.c   static void init_fringe_once_for_pdumper (void);
init_fringe_once_for_pdumper 1799 src/fringe.c     pdumper_do_now_and_after_load (init_fringe_once_for_pdumper);