(define $main
  (lambda [$world $argv]
    (do {[$world (print world "Hello world!")]}
        world)))