void HandleReverseVideo(w, event, params, param_count) Widget w; XEvent *event GCC_UNUSED; String *params; Cardinal *param_count;
void HandleReverseVideo( Widget w, XEvent *event GCC_UNUSED, String *params, Cardinal *param_count)
void HandleReverseVideo(w, event, params, param_count)    Widget w;    XEvent *event GCC_UNUSED;    String *params;    Cardinal *param_count;{    handle_toggle (do_reversevideo, (int) (term->flags & REVERSE_VIDEO),		   params, *param_count, w, (XtPointer)0, (XtPointer)0);}