1extern void foo();
2int main() {
3 foo();
4 return 0;
5}
6

source code of bolt/test/X86/Inputs/inline-main.c