void
f(void)
{
  int x[20] = {[0] = 5, [10] = 12};
}