void BackToFront();
void FadeToFront();
void ClearWindow();
+void DrawBackground(int, int, int, int);
void MarkTileDirty(int, int);
void SetBorderElement();
int ReadPixel(DrawBuffer *, int, int);
void CreateToolButtons();
+void FreeToolButtons();
int get_next_element(int);
int el2gfx(int);