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