+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);
+
+#endif // TOOLS_H