void setElementChangePages(struct ElementInfo *, int);
void setElementChangeInfoToDefaults(struct ElementChangeInfo *);
-boolean LevelFileExists(int);
+char *getDefaultLevelFilename(int);
+
void LoadLevelFromFilename(struct LevelInfo *, char *);
void LoadLevel(int);
void LoadLevelTemplate(int);
void LoadTapeFromFilename(char *);
void LoadTape(int);
+void LoadSolutionTape(int);
void SaveTape(int);
void DumpTape(struct TapeInfo *);
void LoadCustomElementDescriptions();
void LoadSpecialMenuDesignSettings();
+void LoadUserDefinedEditorElementList(int **, int *);
+void LoadMusicInfo();
+void LoadHelpAnimInfo();
+void LoadHelpTextInfo();
#endif /* FILES_H */