1#include "stub.h"
2
3void foo() {
4 puts("Hello world!\n");
5}
6

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