1  void
       2  bar (int N)
       3  {
       4    int foo (char a[2][++N]) { N += 4; return sizeof (a[0]); }
       5    if (foo (0) != 2)
       6      abort ();
       7    if (foo (0) != 7)
       8      abort ();
       9    if (N != 11)
      10      abort ();
      11  }
      12  
      13  int
      14  main()
      15  {
      16    bar (1);
      17    exit (0);
      18  }