1  int
       2  main (int argc, char **argv)
       3  {
       4    int c;
       5    unsigned char out[][1] = { {71}, {71}, {71} };
       6  
       7    for (int i = 0; i < 3; i++)
       8      if (!out[i][0])
       9        __builtin_abort ();
      10    return 0;
      11  }