let
readme () =
"Concatenate FILE(s), or standard input, to standard output"