1extern int __start___verbose[];
2extern int __stop___verbose[];
3int
4foo3 (void)
5{
6  if (__start___verbose == __stop___verbose
7      || __start___verbose[0] != 6)
8    return -1;
9  else
10    return 0;
11}
12