+
+void gui_update_position_label (int elevator, float new_position, Direction direction)
+{
+ thegui->gui_update_position_label (elevator, new_position, direction);
+}
+
+void gui_unpress_call_button (int floor, Direction direction)
+{
+ thegui->gui_unpress_call_button (floor, direction);
+}
+
+void gui_unpress_request_button (int elevator, int floor)
+{
+ thegui->gui_unpress_request_button (elevator, floor);
+}
+
+void gui_open_door (int elevator, int floor)
+{
+ thegui->gui_open_door (elevator, floor);
+}
+
+void gui_close_door (int elevator, int floor)
+{
+ thegui->gui_close_door (elevator, floor);
+}
+