let max_string_length= Sys.max_string_length