void getGraphicSourceBitmap(int, int, Bitmap **);
void getGraphicSourceXY(int, int, int *, int *, boolean);
void getSizedGraphicSourceExt(int, int, int, Bitmap **, int *, int *, boolean);
-void getFixedGraphicSourceExt(int, int, Bitmap **, int *, int *, boolean);
void getSizedGraphicSource(int, int, int, Bitmap **, int *, int *);
void getFixedGraphicSource(int, int, Bitmap **, int *, int *);
void getMiniGraphicSource(int, Bitmap **, int *, int *);
int map_element_SP_to_RND(int);
int map_action_SP_to_RND(int);
+int map_element_RND_to_MM(int);
+int map_element_MM_to_RND(int);
+int map_mm_wall_element(int);
+
int get_next_element(int);
int el_act_dir2img(int, int, int);
int el_act2img(int, int);
void PlayMenuSoundIfLoop();
void PlayMenuMusicExt(int);
void PlayMenuMusic();
+void PlayMenuSoundsAndMusic();
+void FadeMenuSoundsAndMusic();
void PlaySoundActivating();
void PlaySoundSelecting();