let name_of_strlen = "strlen"