syms_of_keyboard_for_pdumper 12136 src/keyboard.c static void syms_of_keyboard_for_pdumper (void);
syms_of_keyboard_for_pdumper 13169 src/keyboard.c   pdumper_do_now_and_after_load (syms_of_keyboard_for_pdumper);