28    int failures(0);  in string_stuff()  local
34       ++failures;  in string_stuff()
38       ++failures;  in string_stuff()
41        ++failures;  in string_stuff()
43       ++failures;  in string_stuff()
47       ++failures;  in string_stuff()
51       ++failures;  in string_stuff()
54       ++failures;  in string_stuff()
56       ++failures;  in string_stuff()
60       ++failures;  in string_stuff()
67       ++failures;  in string_stuff()
72       ++failures;  in string_stuff()
76       ++failures;  in string_stuff()
79       ++failures;  in string_stuff()
83       ++failures;  in string_stuff()
85       ++failures;  in string_stuff()
87       ++failures;  in string_stuff()
89       ++failures;  in string_stuff()
91       ++failures;  in string_stuff()
93       ++failures;  in string_stuff()
98       ++failures;  in string_stuff()
102       ++failures;  in string_stuff()
106       ++failures;  in string_stuff()
109       ++failures;  in string_stuff()
112       ++failures;  in string_stuff()
115       ++failures;  in string_stuff()
118       ++failures;  in string_stuff()
122       ++failures;  in string_stuff()
127       ++failures;  in string_stuff()
132       ++failures;  in string_stuff()
136       ++failures;  in string_stuff()
139       ++failures;  in string_stuff()
141       ++failures;  in string_stuff()
145       ++failures;  in string_stuff()
149       ++failures;  in string_stuff()
152       ++failures;  in string_stuff()
154       ++failures;  in string_stuff()
158       ++failures;  in string_stuff()
165      ++failures;  in string_stuff()
170      ++failures;  in string_stuff()
174       ++failures;  in string_stuff()
177       ++failures;  in string_stuff()
179       ++failures;  in string_stuff()
181       ++failures;  in string_stuff()
183       ++failures;  in string_stuff()
185       ++failures;  in string_stuff()
187       ++failures;  in string_stuff()
192       ++failures;  in string_stuff()
196       ++failures;  in string_stuff()
200       ++failures;  in string_stuff()
203       ++failures;  in string_stuff()
206       ++failures;  in string_stuff()
209       ++failures;  in string_stuff()
212       ++failures;  in string_stuff()
215       ++failures;  in string_stuff()
220       ++failures;  in string_stuff()
222       ++failures;  in string_stuff()
224      ++failures;  in string_stuff()
226      ++failures;  in string_stuff()
228      ++failures;  in string_stuff()
230      ++failures;  in string_stuff()
233      ++failures;  in string_stuff()
235      ++failures;  in string_stuff()
237      ++failures;  in string_stuff()
239      ++failures;  in string_stuff()
241      ++failures;  in string_stuff()
246       ++failures;  in string_stuff()
248    return failures;  in string_stuff()
254    int failures(0);  in vector_stuff()  local
265       ++failures;  in vector_stuff()
269       ++failures;  in vector_stuff()
272       ++failures;  in vector_stuff()
274       ++failures;  in vector_stuff()
278       ++failures;  in vector_stuff()
282       ++failures;  in vector_stuff()
285       ++failures;  in vector_stuff()
287       ++failures;  in vector_stuff()
291       ++failures;  in vector_stuff()
298       ++failures;  in vector_stuff()
303       ++failures;  in vector_stuff()
307       ++failures;  in vector_stuff()
310       ++failures;  in vector_stuff()
314       ++failures;  in vector_stuff()
316       ++failures;  in vector_stuff()
318       ++failures;  in vector_stuff()
320       ++failures;  in vector_stuff()
322       ++failures;  in vector_stuff()
324       ++failures;  in vector_stuff()
329       ++failures;  in vector_stuff()
333       ++failures;  in vector_stuff()
337       ++failures;  in vector_stuff()
340       ++failures;  in vector_stuff()
343       ++failures;  in vector_stuff()
346       ++failures;  in vector_stuff()
349       ++failures;  in vector_stuff()
353       ++failures;  in vector_stuff()
358       ++failures;  in vector_stuff()
363       ++failures;  in vector_stuff()
367       ++failures;  in vector_stuff()
370       ++failures;  in vector_stuff()
372       ++failures;  in vector_stuff()
376       ++failures;  in vector_stuff()
380       ++failures;  in vector_stuff()
383       ++failures;  in vector_stuff()
385       ++failures;  in vector_stuff()
389       ++failures;  in vector_stuff()
396       ++failures;  in vector_stuff()
401       ++failures;  in vector_stuff()
406       ++failures;  in vector_stuff()
409       ++failures;  in vector_stuff()
411       ++failures;  in vector_stuff()
413       ++failures;  in vector_stuff()
415       ++failures;  in vector_stuff()
417       ++failures;  in vector_stuff()
419       ++failures;  in vector_stuff()
424       ++failures;  in vector_stuff()
428       ++failures;  in vector_stuff()
432       ++failures;  in vector_stuff()
435       ++failures;  in vector_stuff()
438       ++failures;  in vector_stuff()
441       ++failures;  in vector_stuff()
444       ++failures;  in vector_stuff()
447       ++failures;  in vector_stuff()
452       ++failures;  in vector_stuff()
454       ++failures;  in vector_stuff()
456      ++failures;  in vector_stuff()
458      ++failures;  in vector_stuff()
460      ++failures;  in vector_stuff()
462      ++failures;  in vector_stuff()
465      ++failures;  in vector_stuff()
467      ++failures;  in vector_stuff()
469      ++failures;  in vector_stuff()
471      ++failures;  in vector_stuff()
473      ++failures;  in vector_stuff()
478       ++failures;  in vector_stuff()
484       ++failures;  in vector_stuff()
486    return failures;  in vector_stuff()
492    int failures(0);  in reverse_stuff()  local
498       ++failures;  in reverse_stuff()
503       ++failures;  in reverse_stuff()
508       ++failures;  in reverse_stuff()
510    return failures;  in reverse_stuff()
518    int failures(0);  in wrong_stuff()  local
524    failures++;  in wrong_stuff()
530    failures++;  in wrong_stuff()
544    failures++;  in wrong_stuff()
552    failures++;  in wrong_stuff()
566    failures++;  in wrong_stuff()
573    failures++;  in wrong_stuff()
576    return failures;  in wrong_stuff()
593    int failures(0);  in main()  local
595    failures += string_stuff();  in main()
597    failures += vector_stuff();  in main()
599    failures += reverse_stuff();  in main()
601    failures += wrong_stuff();  in main()
603    failures += test6642();  in main()
605    VERIFY(failures == 0);  in main()