+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);