external get_selection_bounds : text_buffer -> text_iter * text_iter = "ml_gtk_text_buffer_get_selection_bounds"