Method ~HostDnVecInt

XM/include/Utils/memory.h:845–851

        }

        ~HostDnVecInt() {
            if (this->vals != nullptr) {
                free(this->vals);
                this->vals = nullptr;
            }
            // std::cout << "HostDnVecInt destructor called!" << std::endl;
        }
};

// dense vector wrapper on host: size_t type