+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 ToggleFullscreenOrChangeWindowScalingIfNeeded(void);
+void ChangeViewportPropertiesIfNeeded(void);