external select_path : tree_selection -> tree_path -> unit
    = "ml_gtk_tree_selection_select_path"