source: CIVL/examples/languageFeatures/arrayWriteBad.cvl

int main() {
  int y[2][];
  y[0] = (int[2])$lambda(int i) 0;
  y[1] = (int[2])$lambda(int j) 10;
  int i;
  $havoc(&i);
  $assume(0 <= i && i < 2);
  y[i][10] = 5;
}