+void DrawScreenAfterAddingSet(char *, int);
+void DrawInfoScreen_FromMainMenu(int);
+
+void RedrawSetupScreenAfterFullscreenToggle(void);
+void RedrawSetupScreenAfterScreenRotation(int);
+
+void HandleTitleScreen(int, int, int, int, int);
+void HandleMainMenu(int, int, int, int, int);
+void HandleChoosePlayerName(int, int, int, int, int);
+void HandleChooseLevelSet(int, int, int, int, int);
+void HandleChooseLevelNr(int, int, int, int, int);