external set_modified : text_buffer -> bool -> unit
    = "ml_gtk_text_buffer_set_modified"