let gui_set_wp_model (main_ui:Design.main_window_extension_points) v =
  let old = Wp_parameters.Model.get () in
    if v <> old then (* Otherwise set is done at every refreshing *)
      begin
        Wp_parameters.Model.set v;
        main_ui#annot_window#buffer#insert
          ("[wp] set memory model to "^(string_of_int v)^"\n")
      end