php_get_leng      709 htags/php.c    int php_get_leng (void );
php_get_leng      847 libparser/php.c int php_get_leng (void );