1  int foo(int i)
       2  {
       3    int a[32];
       4    a[1] = 3;
       5    a[0] = 1;
       6    a[i] = 2;
       7    return a[0];
       8  }
       9  extern void abort (void);
      10  int main()
      11  {
      12    if (foo (0) != 2
      13        || foo (1) != 1)
      14      abort ();
      15    return 0;
      16  }