buffered_pipe
