extern int bar1_from_bar3(void);
int bar3(void) { return bar1_from_bar3(); }