let write_without_pushback_then_read () : unit Deferred.t = let (r, w) = Pipe.create () in Pipe.write_without_pushback w 42; Pipe.read r >>| function | `Eof -> failwith "impossible" | `Ok z -> printf "z = %d\n" z