--- /dev/null
+#include <stdio.h>
+
+void function_b(void)
+{
+ char buffer[4];
+ char *p = buffer;
+ while(*(int *)++p != (int)0xa0b1c2d3);
+ while(p > buffer)
+ *p-- = 0;
+ fprintf(stdout, "Executing function_b\n");
+}
+void function_a(void)
+{
+ int beacon = 0xa0b1c2d3;
+ fprintf(stdout, "Executing function_a\n");
+ function_b();
+ fprintf(stdout, "Executed function_b\n");
+}
+
+int main(void) {
+ function_a();
+ fprintf(stdout, "Finished!\n");
+ return 0;
+}