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