extern void abort (void);

int foo (int size)
{
  int a[size];
  a[size - 10] = 42;
  return a[size - 10] + size;
}

int
main()
{
  int x = foo (20);
  if (x != 62)
    abort ();
  return 0;
}