/* ECP: FILEname=fig8_16.c */
/* 1*/   unsigned int
/* 2*/   Strlen( const char Str[ ] )
/* 3*/   {
/* 4*/       int i = -1;

/* 5*/       while( Str[ ++i ] )
/* 6*/           ;

/* 7*/       return i;
/* 8*/   }