fn f() {
  var i : i32;
  for (;;i = i + array<i32, 1>(1)[0]) {}
}