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