void HandleAltScreen(w, event, params, param_count) Widget w; XEvent *event GCC_UNUSED; String *params; Cardinal *param_count;
void HandleAltScreen( Widget w, XEvent *event GCC_UNUSED, String *params, Cardinal *param_count)
void HandleAltScreen(w, event, params, param_count)    Widget w;    XEvent *event GCC_UNUSED;    String *params;    Cardinal *param_count;{    /* eventually want to see if sensitive or not */    handle_toggle (do_altscreen, (int) term->screen.alternate,		   params, *param_count, w, (XtPointer)0, (XtPointer)0);}