declare printf(s: *char, ...)

export let main() = {
  printf("Hello from Quokka!\n")
}