+int el2preimg(int);
+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(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();
+
+void ToggleFullscreenIfNeeded();