void HandleLeaveWindow(w, eventdata, event, cont) Widget w GCC_UNUSED; XtPointer eventdata GCC_UNUSED; XEvent *event GCC_UNUSED; Boolean *cont GCC_UNUSED;
void HandleLeaveWindow( Widget w GCC_UNUSED, XtPointer eventdata GCC_UNUSED, XEvent *event GCC_UNUSED, Boolean *cont GCC_UNUSED)
void HandleLeaveWindow(w, eventdata, event, cont)Widget w GCC_UNUSED;XtPointer eventdata GCC_UNUSED;XEvent *event GCC_UNUSED;Boolean *cont GCC_UNUSED;{    /* NOP since we handled it above */}