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