int symbol_from_xnu0() { return 0; } int symbol_from_xnu1() { return 0; } int symbol_from_xnu2() { return 0; } int symbol_from_xnu3() { return 0; } int _start() { return 0; }