void f2() {
}

void f1() {
  f2();
  return;
}