let cat_stdin () = let stdin = Lazy.force Reader.stdin in let stdout = Lazy.force Writer.stdout in Reader.transfer stdin (Writer.pipe stdout)