STRINGLENGTH

(STRINGLENGTH <string>)

Computes the length of the given string. The computation is performed via
the standard strlen(3) function.