(Pipeline (IO.File.Reader arg) (Formats.ELF.Reader) (Transforms.Closure) (Formats.ELF.Writer) (IO.File.Writer arg))