extern int symbol_from_bar();
extern int symbol_from_xnu_no_alias();

int foo() {
	return symbol_from_bar() + symbol_from_xnu_no_alias();
}