con_destructor