static void do_hardreset (gw, closure, data) Widget gw GCC_UNUSED; XtPointer closure GCC_UNUSED, data GCC_UNUSED;
static void do_hardreset ( Widget gw GCC_UNUSED, XtPointer closure GCC_UNUSED, XtPointer data GCC_UNUSED)
static void do_hardreset (gw, closure, data)    Widget gw GCC_UNUSED;    XtPointer closure GCC_UNUSED, data GCC_UNUSED;{    VTReset (TRUE, FALSE);}