Name

splice_from_pipe — splice data from a pipe to a file