void HandleCreateMenu (w, event, params, param_count) Widget w; XEvent *event;               String *params;              Cardinal *param_count;
void HandleCreateMenu ( Widget w, XEvent *event,               String *params,              Cardinal *param_count)
void HandleCreateMenu (w, event, params, param_count)    Widget w;    XEvent *event;              /* unused */    String *params;             /* mainMenu, vtMenu, or tekMenu */    Cardinal *param_count;      /* 0 or 1 */{    (void) domenu (w, event, params, param_count);}