void SetRandomAnimationValue(int, int);
int getGraphicAnimationFrame(int, int);
+int getGraphicAnimationFrameXY(int, int, int);
void DrawFixedGraphicAnimation(int, int, int);
void DrawFixedGraphicAnimationExt(DrawBuffer *, int, int, int, int, int);
void DrawLevelFieldCrumbledDigging(int, int, int, int);
void DrawLevelFieldCrumbledNeighbours(int, int);
void DrawScreenGraphic(int, int, int, int);
+void DrawLevelGraphic(int, int, int, int);
void DrawScreenElement(int, int, int);
void DrawLevelElement(int, int, int);
void DrawScreenField(int, int);
boolean CheckIfAllViewportsHaveChanged(void);
boolean CheckFadeAll(void);
+void OpenURL(char *);
+void OpenURLFromHash(SetupFileHash *, int);
+
void TestGeneratingUUIDs(void);
#endif // TOOLS_H