# Piping between children
      run \@cat, '|', \@gzip ;