import std ffi.printf

export func main() {
  printf("Hello World: %s\n", "Jolk")
}