void SetDrawtoField_MM(int);
-void BackToFront(void);
+void BackToFront_MM(void);
+
void FadeToFront(void);
void ClearWindow(void);
void DrawSpecialEditorDoor_MM(void);
void UndrawSpecialEditorDoor(void);
Pixel ReadPixel(DrawBuffer *, int, int);
-void SetRGB(unsigned int, unsigned short, unsigned short, unsigned short);
void CreateToolButtons(void);
int get_num_elements(int);
int get_rotated_element(int, int);
+int map_wall_from_base_element(int);
+int map_wall_to_base_element(int);
+
int el2gfx(int);
int el_act2gfx(int, int);