void LoadTapeFromFilename(char *);
void LoadTape(int);
+void LoadSolutionTape(int);
void SaveTape(int);
void DumpTape(struct TapeInfo *);
void LoadSpecialMenuDesignSettings();
void LoadUserDefinedEditorElementList(int **, int *);
void LoadMusicInfo();
-void LoadDemoAnimInfo();
-void LoadDemoAnimText();
+void LoadHelpAnimInfo();
+void LoadHelpTextInfo();
#endif /* FILES_H */