void bar_fun(int);