not_single_kboard_state 2389 src/frame.c    	not_single_kboard_state (kb);
not_single_kboard_state  474 src/keyboard.h extern void not_single_kboard_state (KBOARD *);