void f() {
  return;
}