int baz(void) {
    return 15;
  }