SYNOPSIS
        int strlen(string str)

DESCRIPTION
        Returns the length of the string str.

SEE ALSO
        sizeof(E), extract(E)