public GZIPOutputStream (OutputStream os) { Wrapped = new GZipStream (os, CompressionMode.Compress); } }