resto
val split_path : string -> string list
val decode_split_path : string -> string list