let
max_string_length =
Some
Sys
.max_string_length