char *getLocalLevelTemplateFilename(void);
char *getGlobalLevelTemplateFilename(void);
+int getMappedElement(int);
+
void LoadLevelFromFilename(struct LevelInfo *, char *);
void LoadLevel(int);
void LoadLevelTemplate(int);
void LoadTapeFromFilename(char *);
void LoadTape(int);
void LoadSolutionTape(int);
+void SaveTapeToFilename(char *);
void SaveTape(int);
void DumpTape(struct TapeInfo *);
boolean SaveTapeChecked(int);
void LoadScore(int);
void SaveScore(int);
+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);