let
name_of_wcslen =
"wcslen"