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);