public GZIPInputStream (InputStream s) { Wrapped = new GZipStream (s, CompressionMode.Decompress); } }