char *getTapeFilename(int);
char *getScoreFilename(int);
char *getSetupFilename(void);
+char *getEditorSetupFilename(void);
+char *getElementInfoFilename(void);
char *getImageFilename(char *);
char *getCustomImageFilename(char *);
char *getCustomSoundFilename(char *);
+char *getCustomMusicFilename(char *);
char *getCustomArtworkFilename(char *, int);
char *getCustomArtworkConfigFilename(int);
char *getCustomArtworkLevelConfigFilename(int);