let
active_window = ref (
None
: gui_window option)