init_raw_keybuf_count  454 src/keyboard.h extern void init_raw_keybuf_count (void);
init_raw_keybuf_count 1473 src/menu.c       init_raw_keybuf_count ();