static void do_tekonoff (gw, closure, data) Widget gw; XtPointer closure GCC_UNUSED, data GCC_UNUSED;
static void do_tekonoff ( Widget gw, XtPointer closure GCC_UNUSED, XtPointer data GCC_UNUSED)
static void do_tekonoff (gw, closure, data)    Widget gw;    XtPointer closure GCC_UNUSED, data GCC_UNUSED;{    handle_tekshow (gw, False);}