egison-2.4.6: sample/io/read-write-test.egi
(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)))