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;