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