let printf(s: *char, ...) = extern("printf")

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