external append_index : tree_path -> int -> unit
    = "ml_gtk_tree_path_append_index"