+void SaveSetup_AddGameControllerMapping(char *);
+
+void setHideSetupEntry(void *);
+void removeHideSetupEntry(void *);
+boolean hideSetupEntry(void *);
+
+void LoadCustomElementDescriptions(void);
+void InitMenuDesignSettings_Static(void);
+void LoadMenuDesignSettings(void);
+void LoadMenuDesignSettings_AfterGraphics(void);
+void LoadUserDefinedEditorElementList(int **, int *);
+void LoadMusicInfo(void);
+void LoadHelpAnimInfo(void);
+void LoadHelpTextInfo(void);
+
+void ConvertLevels(void);
+void CreateLevelSketchImages(void);
+void CreateCollectElementImages(void);
+void CreateCustomElementImages(char *);
+
+void FreeGlobalAnimEventInfo(void);
+int GetGlobalAnimEventValue(int, int);
+int GetGlobalAnimEventValueCount(int);
+
+int get_parameter_value(char *, char *, int);