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