public override void Deflate(Stream destination) { // Write state ID destination.WriteByte(StateID); // Store the value DeflateValue(destination, Value); }