#define REQUEST_WAIT_FOR (REQ_ASK | REQ_CONFIRM | REQ_PLAYER)
+void DumpTile(int, int);
+
void SetDrawtoField(int);
void RedrawPlayfield(boolean, int, int, int, int);
void BackToFront();
void DrawMiniElement(int, int, int);
void DrawMiniElementOrWall(int, int, int, int);
-void DrawEnvelopeBackground(int, int, int, int, int);
+
+void ShowEnvelope();
void getMicroGraphicSource(int, Bitmap **, int *, int *);
void DrawMicroElement(int, int, int);