1  #include "tree-vect.h"
       2  
       3  int a[28];
       4  int main()
       5  {
       6    check_vect ();
       7    a[4] = 1;
       8    int c = 1;
       9    for (int b = 0; b < 8; b++)
      10      if (a[b])
      11        c = 0;
      12    if (c)
      13      abort();
      14    return 0;
      15  }