external get_visible_slice : text_iter -> text_iter -> string = 
           "ml_gtk_text_iter_get_visible_slice"