int strlen(const char ? s)
 {
   int i = 0;
   int n = s.size;
   if (s != NULL)
     while (i < n && s[i] != '\0')
       i++;
   return i;
 }