/* ECP: FILEname=fig8_20.c */
/* 1*/   unsigned int
/* 2*/   Strlen( const char * const Str )
/* 3*/   {
/* 4*/       const char *Sp = Str;

/* 5*/       while( *Sp++ )
/* 6*/           ;

/* 7*/       return Sp - Str - 1;
/* 8*/   }