void FadeCrossSaveBackbuffer();
void ClearWindow();
+void SetWindowBackgroundImageIfDefined(int);
void SetMainBackgroundImageIfDefined(int);
void SetMainBackgroundImage(int);
void SetDoorBackgroundImage(int);
void SetPanelBackground();
void DrawBackground(int, int, int, int);
+void DrawBackgroundForFont(int, int, int, int, int);
+void DrawBackgroundForGraphic(int, int, int, int, int);
void MarkTileDirty(int, int);
void SetBorderElement();
+void FloodFillLevel(int, int, int, short[MAX_LEV_FIELDX][MAX_LEV_FIELDY],
+ int, int);
void SetRandomAnimationValue(int, int);
int getGraphicAnimationFrame(int, int);
void PlayMenuSoundStereo(int, int);
void PlayMenuSoundIfLoop();
void PlayMenuMusic();
+void PlaySoundActivating();
+void PlaySoundSelecting();
void ToggleFullscreenIfNeeded();