external list_toplevels : unit -> window obj list
      = "ml_gtk_window_list_toplevels"