handle_toggle (do_sun_fkeys, (int) sunFunctionKeys,
handle_toggle (do_sun_fkeys, term->keyboard.type == keyboardIsSun,
void HandleSunFunctionKeys(	Widget w,	XEvent *event GCC_UNUSED,	String *params,	Cardinal *param_count){    handle_toggle (do_sun_fkeys, (int) sunFunctionKeys,		   params, *param_count, w, (XtPointer)0, (XtPointer)0);}