int bar();
#include <stdio.h>

int main(int ac, char** av)
{
  (void)ac;
  (void)av;
  int ret = bar();
  printf("bar = %d\n", ret);
  if(ret == 10)
    {
    return 0;
    }
  return -1;
}