unsigned long str_len(const char * s) /*EXTRACT_INCL*/ {
  unsigned long len=0;
  while (s[len]) ++len;
  return len;
}