--
-- This file has been auto-generated by egison-translator.
--

def main (args: [String]) : IO () :=
  match args as list string with
    | [] -> eachLine print
    | _ -> eachFile args print