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