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