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

print(f()); # expect: ok