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

/* 5*/       for( i = 0; Str[ i ] != '\0'; i++ )
/* 6*/           ;

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