int f() {
  // Oops, no return.
}