extern void f() {
  throw 7;
}