#include <iostream>
#include <gtkmm/main.h>
-void gui_update_position_label (int elevator, float new_position);
+void gui_update_position_label (int elevator, float new_position, Direction direction);
void gui_unpress_call_button (int floor, Direction direction);
void gui_unpress_request_button (int elevator, int floor);
void gui_open_door (int elevator, int floor);