char *getMusicInfoEntryFilename(int);
char *getCurrentlyPlayingMusicFilename(void);
int getSoundListPropertyMappingSize(void);
char *getMusicInfoEntryFilename(int);
char *getCurrentlyPlayingMusicFilename(void);
int getSoundListPropertyMappingSize(void);