sequential/ammunition: tighter loop bound for ammunition_strcmp()

bench/sequential/ammunition/ammunition_libc.c

@@ -85,7 +85,7 @@ void *ammunition_memmove ( void *s1, const void *s2, size_t n )
 
 int ammunition_strcmp ( const char *str1, const char *str2 )
 {
-  _Pragma( "loopbound min 1 max 4008" )
+  _Pragma( "loopbound min 1 max 11" )
   while ( *str1 && ( *str1 == *str2 ) )
     str1++, str2++;
   return *( const unsigned char * )str1 - *( const unsigned char * )str2;