extern void f();

void g() {
  $proc p = $spawn f();
  $wait(p);
}