lit/Driver/Inputs/hello.c

int puts(const char*);
int main(int argc, char **argv) {
  puts("Hello World\n");
  return 0;
}