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);
#endif