fn f() {
  var i : i32;
  for(; false; i = (i + 1)) {
  }
}