external ensure_highlight:
    [>`sourcebuffer] obj -> Gtk.text_iter -> Gtk.text_iter -> unit =
    "ml_gtk_source_buffer_ensure_highlight"