fun f() {
  while (true) return "ok";
}

print f(); // expect: ok