external count_selected_rows : tree_selection -> int
    = "ml_gtk_tree_selection_count_selected_rows"