add destructor prototype