void DrawMainMenuExt(int);
void DrawAndFadeInMainMenu(int);
void DrawMainMenu(void);
-void DrawHallOfFame(int);
+void DrawHallOfFame(int, int);
void RedrawSetupScreenAfterFullscreenToggle();
+void RedrawSetupScreenAfterScreenRotation(int);
void HandleTitleScreen(int, int, int, int, int);
void HandleMainMenu(int, int, int, int, int);
void setHideRelatedSetupEntries();
+void DumpScreenIdentifiers(void);
+boolean DoScreenAction(int);
+
#endif /* SCREENS_H */