public void CheckSetLengthProp () {
byte [] data = {0x1f, 0x8b, 0x08, 0x08, 0x70, 0xbb, 0x5d, 0x41, 0x00, 0x03, 0x74, 0x65, 0x73, 0x74, 0x00, 0xf3, 0x48, 0xcd, 0xc9, 0xc9, 0xe7, 0x02, 0x00, 0x16, 0x35, 0x96, 0x31, 0x06, 0x00, 0x00, 0x00 };
MemoryStream backing = new MemoryStream (data);
GZipStream decompressing = new GZipStream (backing, CompressionMode.Decompress);
decompressing.SetLength (20);
}