void DrawMaskedBorder_ALL();
void DrawMaskedBorder(int);
void DrawMaskedBorderToTarget(int);
+void DrawTileCursor(int);
void SetDrawtoField(int);
void RedrawPlayfield();
void DrawPreviewLevelInitial(void);
void DrawPreviewLevelAnimation(void);
+void DrawNetworkPlayers(void);
+void ClearNetworkPlayers(void);
+
void WaitForEventToContinue(void);
boolean Request(char *, unsigned int);
void InitGraphicCompatibilityInfo_Doors(void);