BitVecDeinit Description Deinitialize bitvector and free all allocated memory. After calling this, the bitvector should not be used unless re-initialized.
LogDeinit Description Shut down logging subsystem and release resources