template<class TYPE> void delete_element(TYPE ptr) { delete ptr; }