syms_of_pgtkmenu_for_pdumper 1106 src/pgtkmenu.c static void syms_of_pgtkmenu_for_pdumper (void);
syms_of_pgtkmenu_for_pdumper 1120 src/pgtkmenu.c   pdumper_do_now_and_after_load (syms_of_pgtkmenu_for_pdumper);