foo.c   [plain text]

extern int symbol_from_xnu0();
extern int symbol_from_xnu1();
extern int symbol_from_xnu2();
extern int symbol_from_xnu3();

int foo() {
	return symbol_from_xnu0() + symbol_from_xnu1() + symbol_from_xnu2() + symbol_from_xnu3();
}