(import std)

(define main : (Fun Unit Unit)
  (fun (_unit)
    (display "Hello, Carth!\n")))