+void setElementChangePages(struct ElementInfo *, int);
+void setElementChangeInfoToDefaults(struct ElementChangeInfo *);
+void copyElementInfo(struct ElementInfo *, struct ElementInfo *);
+
+char *getDefaultLevelFilename(int);
+char *getLocalLevelTemplateFilename(void);
+char *getGlobalLevelTemplateFilename(void);
+
+void LoadLevelFromFilename(struct LevelInfo *, char *);
+void LoadLevel(int);
+void LoadLevelTemplate(int);
+void LoadLevelInfoOnly(int);
+void LoadNetworkLevel(struct NetworkLevelInfo *);
+void SaveLevel(int);
+void SaveLevelTemplate(void);
+void SaveNativeLevel(struct LevelInfo *);
+void DumpLevel(struct LevelInfo *);
+boolean SaveLevelChecked(int);
+
+void CopyNativeLevel_RND_to_Native(struct LevelInfo *);
+void CopyNativeLevel_Native_to_RND(struct LevelInfo *);
+
+void LoadTapeFromFilename(char *);
+void LoadTape(int);
+void LoadSolutionTape(int);
+void SaveTape(int);
+void DumpTape(struct TapeInfo *);
+boolean SaveTapeChecked(int);
+boolean SaveTapeChecked_LevelSolved(int);