static void VTNonMaskableEvent (w, closure, event, cont) Widget w GCC_UNUSED; XtPointer closure GCC_UNUSED; XEvent *event; Boolean *cont GCC_UNUSED;
static void VTNonMaskableEvent ( Widget w GCC_UNUSED, XtPointer closure GCC_UNUSED, XEvent *event, Boolean *cont GCC_UNUSED)
static void VTNonMaskableEvent (w, closure, event, cont)Widget w GCC_UNUSED;XtPointer closure GCC_UNUSED;XEvent *event;Boolean *cont GCC_UNUSED;{    switch (event->type) {       case GraphicsExpose:       case NoExpose:	  VTGraphicsOrNoExpose (event);	  break;      }}