void FadeOut(int);
void FadeCross(int);
void FadeCrossSaveBackbuffer();
+void FadeSetEnterMenu();
+void FadeSetLeaveMenu();
+void FadeSetStartItem();
+void FadeSetFromType(int);
+void FadeSetDisabled();
+void FadeSkipNextFadeIn();
+void FadeSkipNextFadeOut();
void ClearWindow();
void SetWindowBackgroundImageIfDefined(int);
int getBeltDirFromBeltElement(int);
int getBeltDirFromBeltSwitchElement(int);
int getBeltElementFromBeltNrAndBeltDir(int, int);
+int getBeltSwitchElementFromBeltNrAndBeltDir(int, int);
unsigned int InitRND(long);
void InitGraphicInfo_EM(void);
+void PlayMenuSoundExt(int);
void PlayMenuSound();
void PlayMenuSoundStereo(int, int);
+void PlayMenuSoundIfLoopExt(int);
void PlayMenuSoundIfLoop();
+void PlayMenuMusicExt(int);
void PlayMenuMusic();
void PlaySoundActivating();
void PlaySoundSelecting();