sunFunctionKeys = ! sunFunctionKeys; update_sun_fkeys();
toggle_keyboard_type(keyboardIsSun);
static void do_sun_fkeys (	Widget gw GCC_UNUSED,	XtPointer closure GCC_UNUSED,	XtPointer data GCC_UNUSED){    sunFunctionKeys = ! sunFunctionKeys;    update_sun_fkeys();}