extern Menu menuBar[];
+void AppendEnginesToMenu P((char *list));
void LoadGameProc P((void));
void LoadNextGameProc P((void));
void LoadPrevGameProc P((void));
void OptionsProc P((void));
void NewVariantProc P((void));
void IcsTextProc P((void));
-void LoadEngineProc P((void));
+void LoadEngine1Proc P((void));
+void LoadEngine2Proc P((void));
void FirstSettingsProc P((void));
void SecondSettingsProc P((void));
void GameListOptionsProc P((void));
void EvalGraphProc P((void));
void CreateMainMenus P((Menu *mb));
-void AppendMenuItem P((char *text, char *name, MenuProc *action));
+void AppendMenuItem P((char *text, int n));
void CreateMenuButton P((char *name, Menu *mb));
MenuItem *MenuNameToItem P((char *menuName));
void SetMenuEnables P((Enables *enab));
void EnableButtonBar P((int state));
char *ModeToWidgetName P((GameMode mode));
-int LoadGamePopUp P((FILE *f, int gameNumber, char *title));
void CreateAnimVars P((void));