Many: use stdin support of file_case::muxer()