SYNOPSIS int strlen(string str) DESCRIPTION Returns the length of the string str. SEE ALSO sizeof(E), extract(E)