let name_of_wcslen = "wcslen"