123456789open!Core_kernelopen!Import(* The choice of 8000 bytes is copied from git:
https://github.com/git/git/blob/b7bd9486b055c3f967a870311e704e3bb0654e4f/xdiff-interface.c#L201
*)letprefix_length=8000letstrings=String.containss'\000'~len:(Int.minprefix_length(String.lengths))