external get_text : text_iter -> text_iter -> string = "ml_gtk_text_iter_get_text"