let
string_unsafe_sub s ofs len =
let
r =
String
.create len
in
String
.unsafe_blit s ofs r 0 len;
r