void GenericMenu P((Widget w, XEvent *event, String *prms, Cardinal *nprms));
// from xengineoutput.c
+void SelectPV P((Widget w, XEvent * event, String * params, Cardinal * nParams));
+void StopPV P((Widget w, XEvent * event, String * params, Cardinal * nParams));
+
extern char memoTranslations[];