SYNOPSIS
        int strlen(string str)

DESCRIPTION
        Returns the length of the string str.
        This efun is DEPRECATED and replaced by sizeof().
        Please do not use it in new code and start to phase
        it out in old code.

SEE ALSO
        sizeof(E), extract(E)