Module("system/posix-xsi/pipe-abstractions",[Imports([Import("system/posix/pipe-abstractions")]),Strategies([RDefNoArgs("copy-pipe-to-file",Rule(NoAnnoList(Tuple([NoAnnoList(Op("Pipe",[Var("fd1"),Var("fd2")])),Var("name")])),Var("name"),Seq(AM(BA(CallNoArgs(SVar("open")),NoAnnoList(Tuple([Var("name"),NoAnnoList(Str("\"w\""))]))),Var("fdout")),BA(CallNoArgs(SVar("fdcopy")),NoAnnoList(Tuple([Var("fd1"),Var("fdout")]))))))])])
