let gui_annot_info (main_ui:Design.main_window_extension_points) ~level txt =
  if (SlicingParameters.verbose_atleast level) then begin
    main_ui#annot_window#buffer#insert ((txt ()) ^ ".\n")
  end