+int el2panelimg(int);
+int font2baseimg(int);
+
+int getBeltNrFromBeltElement(int);
+int getBeltNrFromBeltActiveElement(int);
+int getBeltNrFromBeltSwitchElement(int);
+int getBeltDirNrFromBeltElement(int);
+int getBeltDirNrFromBeltSwitchElement(int);
+int getBeltDirFromBeltElement(int);
+int getBeltDirFromBeltSwitchElement(int);
+int getBeltElementFromBeltNrAndBeltDirNr(int, int);
+int getBeltElementFromBeltNrAndBeltDir(int, int);
+int getBeltSwitchElementFromBeltNrAndBeltDirNr(int, int);
+int getBeltSwitchElementFromBeltNrAndBeltDir(int, int);
+
+unsigned int InitRND(int);
+void InitGraphicInfo_EM(void);
+
+void PlayMenuSoundExt(int);
+void PlayMenuSound(void);
+void PlayMenuSoundStereo(int, int);
+void PlayMenuSoundIfLoopExt(int);
+void PlayMenuSoundIfLoop(void);
+void PlayMenuMusicExt(int);
+void PlayMenuMusic(void);
+void PlayMenuSoundsAndMusic(void);
+void FadeMenuSoundsAndMusic(void);
+void PlaySoundActivating(void);
+void PlaySoundSelecting(void);
+
+void SetAnimStatus(int);
+void SetGameStatus(int);
+void SetFontStatus(int);
+void ResetFontStatus(void);
+
+void SetLevelSetInfo(char *, int);
+
+void ToggleFullscreenIfNeeded(void);
+void ChangeWindowScalingIfNeeded(void);
+void ChangeVsyncModeIfNeeded(void);
+void ChangeViewportPropertiesIfNeeded(void);
+
+boolean CheckIfAllViewportsHaveChanged(void);
+boolean CheckFadeAll(void);