egison-3.3.11: sample/io/args.egi
(define $write-each
(lambda [$xs]
(match xs (list something)
{[<nil> (do {} (return []))]
[<cons $x $rs>
(do {[(write x)]
[(write "\n")]}
(write-each rs))]})))
(define $main
(lambda [$args]
(do {[(write "args: ")]
[(write (show args))]
[(write "\n")]}
(write-each args))))