extern int a_has_a_function();

int
a_has_a_function() {
  return 10;
}