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 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));