handle_toggle (do_sun_kbd, (int) sunKeyboard,
handle_toggle (do_sun_kbd, term->keyboard.type == keyboardIsVT220,
void HandleSunKeyboard(	Widget w,	XEvent *event GCC_UNUSED,	String *params,	Cardinal *param_count){    handle_toggle (do_sun_kbd, (int) sunKeyboard,		   params, *param_count, w, (XtPointer)0, (XtPointer)0);}