We wrote and tested PipeOutputStream