let
strlen =
String
.length