int bar(void) {
    return 5;
  }