export destructor of DriverDecorator