(import cstdio)

(def main (fn extern-c int (void)
  (printf "Hello, World!\n")
  (return 0)))