#include <stdio.h>   // printf
#include <stdlib.h>  // EXIT_SUCCESS

extern int Bar(int x);

int main(int argc, char** argv) {
  printf("%d\n", Bar(5));
  return EXIT_SUCCESS;
}