dso_main.c (241B)
1 extern int tier1_dso_data; 2 extern int tier1_dso_value(int x); 3 4 int tier1_dso_consumer(void) { 5 return tier1_dso_value(35) == 42 && tier1_dso_data == 7 ? 0 : 1; 6 } 7 8 void _start(void) { 9 (void)tier1_dso_consumer(); 10 for (;;) { 11 } 12 }