debug/covargs/cmd/testdata/build/fbl.c

void puts(const char*);

int main() {
  puts("Hello, World!");
  return 0;
}