/* BFC03494 */
int strlen(char *s)
{
      int len = 0;
      char c;

      if(s == NULL) return 0;

      c = *s++;
      if(c == '\0') return 0;

      do 
      {
            c = *s++;
            len++;
      } while(c != '\0');

      return len;
}