external to_string : tree_path -> string = "ml_gtk_tree_path_to_string"