bolt/test/X86/Inputs/inline-foo.c

#include "stub.h"

void foo() {
  puts("Hello world!\n");
}