KeyboardMapping(w, event, params, num_params) Widget w GCC_UNUSED; XEvent *event; String *params GCC_UNUSED; Cardinal *num_params GCC_UNUSED;
KeyboardMapping( Widget w GCC_UNUSED, XEvent *event, String *params GCC_UNUSED, Cardinal *num_params GCC_UNUSED)
KeyboardMapping(w, event, params, num_params)    Widget w GCC_UNUSED;    XEvent *event;    String *params GCC_UNUSED;    Cardinal *num_params GCC_UNUSED;{    switch (event->type) {       case MappingNotify:	  XRefreshKeyboardMapping(&event->xmapping);	  break;    }}