let output = make_output_fun output in
let input = make_input_stream input in
let paths_by_digest = Hashtbl.create 1_000_000 in
let path_count = ref 0 in
let t0 = Sys.time () in
let output = make_output_fun output in
let input = make_input_stream input in
let paths_by_digest = Hashtbl.create 1_000_000 in
let path_count = ref 0 in
let t0 = Sys.time () in