1 #include "shared.h"
2 
3 __attribute__((noinline))
helper()4 static void helper() {
5   tail_called_in_a_from_main();
6 }
7 
8 __attribute__((disable_tail_calls))
main()9 int main() {
10   helper();
11   return 0;
12 }
13