1 #include <stdio.h>
2 #include <string>
3 
4 __attribute__((noinline))
5 void foo() { printf("foo\n"); }
6