let
name_of_strlen =
"strlen"