fn f() -> i32 {
  var i : i32;
  while((i < 4)) {
    i = (i + 1);
  }
  return i;
}