void f() {
  int v = 0;
  return;
}