let
max_string_length=
Sys
.max_string_length