module system/posix-xsi/pipe-abstractions
imports 
  system/posix/pipe-abstractions

strategies

  copy-pipe-to-file :
    (Pipe(fd1, fd2), name) -> name
    where <open>(name, "w") => fdout
        ; <fdcopy> (fd1, fdout)