public override void Deflate(Stream destination)
{
// Write state ID
destination.WriteByte(StateID);
// Prepare container
byte[] value = new byte[1];
// Put transaction isolation level into it
value[0] = (byte)(((byte)TransactionIsolationLevel) & 0xf);
// Store the value
DeflateValue(destination, value);
}