char *getLocalLevelTemplateFilename(void);
char *getGlobalLevelTemplateFilename(void);
+int getMappedElement(int);
+
void LoadLevelFromFilename(struct LevelInfo *, char *);
void LoadLevel(int);
void LoadLevelTemplate(int);
void SaveLevelTemplate(void);
void SaveNativeLevel(struct LevelInfo *);
void DumpLevel(struct LevelInfo *);
+void DumpLevels(void);
boolean SaveLevelChecked(int);
void CopyNativeLevel_RND_to_Native(struct LevelInfo *);
void LoadTapeFromFilename(char *);
void LoadTape(int);
void LoadSolutionTape(int);
+void SaveTapeToFilename(char *);
void SaveTape(int);
+void SaveScoreTape(int);
void DumpTape(struct TapeInfo *);
+void DumpTapes(void);
boolean SaveTapeChecked(int);
boolean SaveTapeChecked_LevelSolved(int);
void LoadScore(int);
void SaveScore(int);
+void LoadServerScore(int, boolean);
+void SaveServerScore(int);
+
+void LoadLocalAndServerScore(int, boolean);
+
+void LoadUserNames(void);
+
void LoadSetupFromFilename(char *);
void LoadSetup(void);
void SaveSetup(void);
void SaveSetup_AddGameControllerMapping(char *);
void setHideSetupEntry(void *);
+void removeHideSetupEntry(void *);
boolean hideSetupEntry(void *);
void LoadCustomElementDescriptions(void);
void ConvertLevels(void);
void CreateLevelSketchImages(void);
+void CreateCollectElementImages(void);
void CreateCustomElementImages(char *);
void FreeGlobalAnimEventInfo(void);