(define $main
  (lambda [$world $argv]
    (do {[$world (write-string world "output : ")]
         [$world (write world argv)]
         [$world (write-char world '\n')]}
        world)))